{"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"}