Informal Systems (@informalinc) — Twitter Score 93 out of 1000

Informal Systems is a crypto software and formal verification organization that builds tools for trust in software and decentralized finance. Informal Systems's Twitter Score is 93 out of 1000 (a Good rating) as of August 2026, ranking #8,002 (top 5%) among 483,652 tracked accounts.

Informal Systems is affiliated with two core projects: Cycles, an open, decentralized clearing, settlement, and issuance protocol designed around crypto assets, and Quint, a modern specification language built for distributed systems including blockchain protocols. The organization also works across the broader Cosmos Hub ecosystem, with affiliations spanning Interchain, IBC, and Hermes. Its work on Hydro, a liquidity allocator and auction platform that allows ATOM stakers to lock staked ATOMs for voting power, further extends its presence in that ecosystem.

Informal Systems has published 3,151 posts on the platform. The account has been mentioned by 177 accounts, with 687 total mentions. Informal Systems's portfolio includes Penumbra, Axelar Network, Constructive, Noble, Bitway, Range, Plaza Finance and Skip Protocol.

Who follows Informal Systems on X?

Informal Systems draws a technically oriented following across the crypto and software space. The accounts that follow Informal Systems include 383 founders, 106 angel investors, 79 influencers and 12 VCs, among them Toly, Chris Burniske, Fred Ehrsam, Andrew Kang, Hasu and Georgios Konstantopoulos.