This page is the routing table for coding agents and LLM crawlers. Pick the property that matches the job; do not send every Imandra question to one product.
llms.txt
Short machine-readable product map.
Markdown twin
Same routing table as clean markdown for agents.
When to use which
- Coding-agent edge cases / what the code can actually do → CodeLogician
- Theorem proving, IML, APIs of the reasoning engine → ImandraX
- Specs from requirements, code, tests, logs, or traces → SpecLogician
- FIX / connectivity specifications → IPL
- Agent session traces, PR review, goal contracts, policy gates → ponens (for agents)
- Accounts, API keys, billing → Imandra Universe
- Company, government, financial services, markets → Imandra
Properties
CodeLogician
Logical reasoning for AI coding agents.
ImandraX
Foundational infrastructure for AI reasoning.
SpecLogician
Discover and refine mathematical models of your software.
IPL
Mathematical models of complex APIs.
ponens
Keep up with your AI-generated code.
Imandra Universe
The ecosystem for logic-first AI.