informal.systems valid
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.
For agents: Informal Systems, founded 2019, builds Quint formal verification tools, Cycles clearing infrastructure, and runs validator nodes for Cosmos and Ethereum.
formal verificationquint specification languagecosmos validatorsblockchain infrastructuresecurity audits
- Authority
- 47 reach 6 · trust 10 · quality 16 · freshness 15
- Tier
- listed
- llms.txt
- https://informal.systems/llms.txt
- Sections
- 5
- Links
- 0
- Size
- 1561 bytes
- Popularity rank
- #629348
- Registered
- 2019-08-19
- Country
- United States Hosting inference
- Hosting country
- United States Hosting inference
- Country evidence
- No published address evidence collected yet
- Categories
- Cybersecurity · Crypto and Web3
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- Inferred actions
- Read documentation About these labels
- Audience
- mixed · agents can: read docs · en
- First seen
- 2026-10-19T10:44:22.564Z
- Last checked
- 2026-10-21T10:26:08.045Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-21T10:26:05.574Z. Cached copy · Source on informal.systems
# 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/
Related sites
Find similar publishers by meaning →
Other listed sites in Cybersecurity. See the whole category →
| Domain | Title | Category | Country | Authority | llms.txt | llms-full.txt | Save |
|---|---|---|---|---|---|---|---|
| cloudflare.com | Cloudflare | interface Infrastructure AI and machine learning +1 | — | 85 | ✓ | ✓ | |
| forter.com | Forter — Identity Intelligence for Digital Commerce | interface Ecommerce Cybersecurity +1 | US | 75 | ✓ | ✓ | |
| digicert.com | DigiCert | documentation Cybersecurity Authentication and identity | US | 74 | ✓ | ||
| paloaltonetworks.com | Palo Alto Networks | documentation Cybersecurity | US | 74 | ✓ | ✓ | |
| kaspersky.com | Kaspersky | Global Cybersecurity & Digital Privacy Solutions | transactional Cybersecurity | DE | 72 | ✓ | ||
| hcaptcha.com | hCaptcha | transactional AI and machine learning Cybersecurity | — | 71 | ✓ | ||
| acronis.com | Acronis | transactional Cybersecurity | US | 70 | ✓ | ✓ | |
| akismet.com | Akismet | interface Cybersecurity APIs and SDKs | US | 70 | ✓ |
Machine-readable: GET /v1/resolve?q=informal.systems · GET /v1/domain/informal.systems · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage informal.systems, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for informal.systems:
1. POST https://agentwebmap.com/v1/sites/informal.systems/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://informal.systems/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/informal.systems/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/informal.systems).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.