{"query":"imandra.ai","mode":"domain","best":{"domain":"imandra.ai","status":"valid","tier":"listed","authority":46,"verified":false,"title":"Imandra","summary":"Reasoning as a Service — AI reasoning where correctness matters most.","country":"US","country_source":"ip","llms_txt":"https://www.imandra.ai/llms.txt","llms_full_txt":null,"last_checked":"2026-10-21T21:38:05.936Z","agent_terms":null,"categories":["ai-ml","ai-agents-mcp"],"capabilities":[],"inferred_tags":["reasoning as a service","logic-first ai","formal verification","ai correctness","agent docs"],"audience":"business","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Imandra offers Reasoning as a Service for AI correctness, with an Imandra Universe ecosystem and a docs section with routing tables for coding agents.","llms_txt_cached":"https://agentwebmap.com/v1/domain/imandra.ai/llms.txt","agentic":"documentation","section_keys":["docs","properties","when-to-use-which"],"section_partial":false,"section_indexed_at":"2026-10-21T21:38:13.668Z","why":["authority 46 (listed)","checked 1775 minutes ago"]},"read":{"llms_txt":"https://www.imandra.ai/llms.txt","llms_full_txt":null,"nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":46,"last_checked":"2026-10-21T21:38:05.936Z","checked_minutes_ago":1774,"stale":true,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-21T21:38:05.936Z","content_hash":"aca76ba1949358ba3211cfe6ec08c953"},"sources":[],"match":{"strength":"domain","reason":"Exact domain or its registered publisher."},"provenance":{"selection":"directory","verification":"domain_ownership","terms":"unknown","excerpts":"publisher_link_metadata","health":"stored_crawl"},"alternatives":[]}