Track Informal Systems. Free.
Informal Systems develops formal verification tools and distributed systems infrastructure. The company focuses on building reliable software for blockchain and decentralized networks.
AI named Informal Systems in December 2025.