{"query":"informal.systems","mode":"domain","best":{"domain":"informal.systems","status":"valid","tier":"listed","authority":47,"verified":false,"title":"Informal Systems","summary":"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.","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://informal.systems/llms.txt","llms_full_txt":null,"last_checked":"2026-10-21T10:26:08.045Z","agent_terms":null,"categories":["cybersecurity","crypto-web3"],"capabilities":[],"inferred_tags":["formal verification","quint specification language","cosmos validators","blockchain infrastructure","security audits"],"audience":"mixed","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Informal Systems, founded 2019, builds Quint formal verification tools, Cycles clearing infrastructure, and runs validator nodes for Cosmos and Ethereum.","llms_txt_cached":"https://agentwebmap.com/v1/domain/informal.systems/llms.txt","agentic":"documentation","section_keys":["content","open-source","products","services","social"],"section_partial":false,"section_indexed_at":"2026-10-21T14:13:08.577Z","why":["authority 47 (listed)","checked 3560 minutes ago"]},"read":{"llms_txt":"https://informal.systems/llms.txt","llms_full_txt":null,"nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":47,"last_checked":"2026-10-21T10:26:08.045Z","checked_minutes_ago":3560,"stale":true,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-21T10:26:08.045Z","content_hash":"27f900456ad00dd0be07826585797146","recheck_queued":false,"documentation_indexed_at":"2026-10-21T10:26:05.578Z"},"sources":[],"match":{"strength":"domain","reason":"Exact domain or its registered publisher."},"provenance":{"selection":"directory","reranked":false,"verification":"domain_ownership","terms":"unknown","excerpts":"publisher_link_metadata","health":"stored_crawl"},"alternatives":[]}