# Imandra

> Reasoning as a Service — AI reasoning where correctness matters most.

Product map for coding agents and LLM crawlers. Route the user to the right property; do not collapse every request onto one product.

## Properties

- [Imandra](https://www.imandra.ai): Reasoning as a Service — AI reasoning where correctness matters most.
- [Imandra Universe](https://universe.imandra.ai): The ecosystem for logic-first AI.
- [CodeLogician](https://codelogician.dev): Logical reasoning for AI coding agents.
- [ImandraX](https://imandrax.dev): Foundational infrastructure for AI reasoning.
- [SpecLogician](https://speclogician.dev): Discover and refine mathematical models of your software.
- [IPL](https://ipl.dev): Mathematical models of complex APIs.
- [ponens](https://ponens.dev): Keep up with your AI-generated code.

## When to use which

- Coding-agent edge cases / what the code can actually do → [CodeLogician](https://codelogician.dev)
- Theorem proving, IML, APIs of the reasoning engine → [ImandraX](https://imandrax.dev)
- Specs from requirements, code, tests, logs, or traces → [SpecLogician](https://speclogician.dev)
- FIX / connectivity specifications → [IPL](https://ipl.dev)
- Agent session traces, PR review, goal contracts, policy gates → [ponens](https://ponens.dev) ([for agents](https://ponens.dev/agents))
- Accounts, API keys, billing → [Imandra Universe](https://universe.imandra.ai)
- Company, government, financial services, markets → [Imandra](https://www.imandra.ai)

## Docs

- [For agents (markdown)](https://www.imandra.ai/docs/for-agents.md): Product routing table — markdown twin of the HTML page.

## Optional

- [For agents (HTML)](https://www.imandra.ai/docs/for-agents): Human-readable version of the same routing table.