{"domain":"galois.com","status":"valid","tier":"listed","authority":58,"verified":false,"title":"Galois Docs","summary":null,"country":null,"country_source":"cdn","publisher_country":null,"publisher_country_source":null,"hosting_country":null,"llms_txt":"https://tools.galois.com/llms.txt","llms_full_txt":"https://tools.galois.com/llms-full.txt","last_checked":"2026-10-24T22:04:57.869Z","agent_terms":null,"categories":["documentation-reference","cybersecurity"],"capabilities":[],"inferred_tags":["cryptol","camet library","face technical standard","formal methods","modeling"],"audience":"developers","agent_uses":["read_docs","download_data"],"language":"en","platform_generated":false,"agent_summary":"Galois documentation for CAMET modeling library, FACE technical standard and the open-source Cryptol cryptography language.","llms_txt_cached":"https://agentwebmap.com/v1/domain/galois.com/llms.txt","agentic":"documentation","section_keys":["about-galois-tools","agent-instructions","c2rust","camet","cryptol","querying-this-documentation","saw","swanky"],"section_partial":false,"section_indexed_at":"2026-10-24T22:05:21.760Z"}