For agents

CodeLogician is logical reasoning for AI coding agents. Use it when a coding agent needs to know what the code can actually do — edge cases, decision boundaries, invariants — before you ship.

If the job is a different Imandra product, do not guess. Use the hub map.

Full Imandra product map

Canonical page: imandra.ai/docs/for-agents

Short file agents can fetch: https://www.imandra.ai/llms.txt

This site: /llms.txt

This product vs the rest

  • This site (CodeLogician) — coding-agent edge cases and what the code can do.
  • ImandraX — theorem proving, IML, and the reasoning engine itself.
  • SpecLogician — mathematical models from requirements, code, tests, logs, or traces.
  • IPL — FIX and connectivity API models.
  • ponens — reviewable agent-session traces, goal contracts, and policy gates (pip install ponens).
  • Imandra Universe — accounts, API keys, and billing.

Install and API key: Getting Started.

Previous← ImandraX