# Informal Systems

> Informal Systems fosters trust in software and money through formal verification tools, security audits, and blockchain infrastructure. Founded in 2019, the company builds Quint (executable specification language), Cycles (multilateral clearing infrastructure), and operates institutional-grade validator nodes for the Cosmos and Ethereum ecosystems.

## Products

- Quint: Formal specification and verification language for distributed systems - https://quint.sh
- Cycles: Multilateral clearing infrastructure for financial systems - https://cycles.money

## Open Source

- CometBFT: Byzantine fault-tolerant consensus engine powering the Cosmos ecosystem - https://github.com/cometbft/cometbft
- Hermes IBC Relayer: Cross-chain transaction relay for the Inter-Blockchain Communication protocol - https://github.com/informalsystems/hermes
- Quint Language: Executable specification language - https://github.com/informalsystems/quint

## Services

- Security Audits: Formal verification and security audits for blockchain protocols and smart contracts - https://quint.sh/audits
- Staking: Institutional-grade validator operations for Cosmos and Ethereum networks - https://informal.systems/staking

## Content

- Blog: https://informal.systems/blog
- About: https://informal.systems/about
- RSS Feed: https://informal.systems/feed
- Sitemap: https://informal.systems/sitemap.xml

## Social

- GitHub: https://github.com/informalsystems
- X/Twitter: https://x.com/informalinc
- LinkedIn: https://www.linkedin.com/company/informal-systems/