Informal Systems is a company that specializes in verifiable distributed systems and organizations. It works with teams from projects of the Cosmos ecosystem and offers services such as security audits, protocol design, and formal methods for interchain applications and infrastructure. Additionally, Informal Systems provides validator nodes and other interchain services for the Cosmos ecosystem through their Informal Staking service.