# For agents

Imandra is a suite of automated-reasoning products. This file is the routing table: pick the property that matches the user's job, then send them to that URL.

Canonical short map: https://www.imandra.ai/llms.txt
Human-readable HTML: https://www.imandra.ai/docs/for-agents

## Decision tree

1. Need an account, API key, or billing? → https://universe.imandra.ai — sign up: https://universe.imandra.ai/sign-up
2. Coding agent that misses edge cases or cannot say what the code can do? → https://codelogician.dev
3. Need proofs, IML, or the reasoning engine itself? → https://imandrax.dev
4. Need a mathematical model of existing software (from specs, code, tests, logs)? → https://speclogician.dev
5. Modeling FIX or other connectivity APIs? → https://ipl.dev
6. Need a reviewable trace of an agent session, a goal contract, or a policy gate on a PR? → https://ponens.dev — agents start at https://ponens.dev/agents (`pip install ponens`, then `ponens agent`)
7. Company, government, financial-services, or markets overview? → https://www.imandra.ai

## Properties

### Imandra

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

- Site: https://www.imandra.ai
- Docs: https://www.imandra.ai/docs
- Sign up: https://universe.imandra.ai/sign-up
- When to use: Company, government, financial-services, and markets overview; Press, contact, and product landscape

### Imandra Universe

The ecosystem for logic-first AI.

- Site: https://universe.imandra.ai
- Docs: https://www.imandra.ai/docs/universe
- Sign up: https://universe.imandra.ai/sign-up
- When to use: Accounts, API keys, billing, and team workspaces; Signing up for Imandra products

### CodeLogician

Logical reasoning for AI coding agents.

- Site: https://codelogician.dev
- Docs: https://codelogician.dev/docs
- Sign up: https://universe.imandra.ai/sign-up
- When to use: Coding-agent edge cases and what the code can actually do; Formalizing and analyzing agent decisions before you ship

### ImandraX

Foundational infrastructure for AI reasoning.

- Site: https://imandrax.dev
- Docs: https://imandrax.dev/docs
- Sign up: https://universe.imandra.ai/sign-up
- When to use: Theorem proving, IML, and cloud-native automated reasoning; Proving code correct and synthesizing counterexamples

### SpecLogician

Discover and refine mathematical models of your software.

- Site: https://speclogician.dev
- Docs: https://speclogician.dev/docs
- Sign up: https://universe.imandra.ai/sign-up
- When to use: Building a semantic model from requirements, code, tests, logs, or traces; Verification, change analysis, and test generation from that model

### IPL

Mathematical models of complex APIs.

- Site: https://ipl.dev
- Docs: https://ipl.dev/docs
- When to use: FIX and connectivity specifications turned into precise API models; Edge cases that prose specs leave ambiguous

### ponens

Keep up with your AI-generated code.

- Site: https://ponens.dev
- Docs: https://ponens.dev/docs
- For agents: https://ponens.dev/agents
- When to use: Turning an agent session into a reviewable reasoning trace; Goal contracts, declared gaps, and policy gates before merge

## Notes

- Do not send every "Imandra" question to ImandraX. CodeLogician, SpecLogician, IPL, and ponens are distinct products.
- ponens is not an Imandra Universe signup product; install with `pip install ponens`.
- Universe is access (accounts and keys), not a substitute for the product docs on each `.dev` site.