# Imandra

**Canonical:** https://apis.io/providers/imandra/  
**Website:** https://www.imandra.ai  
**APIs profiled:** 1

Imandra Inc. delivers Reasoning as a Service — combining artificial intelligence with formal verification and automated reasoning. Its neurosymbolic platform builds mathematical models of software so that AI systems can understand, verify, and justify code behavior, prove correctness, and uncover hidden bugs. Core products include ImandraX, a cloud-native automated reasoning engine and theorem prover exposed over a protobuf/gRPC API; CodeLogician, an AI coding agent (with CLI and MCP server) that formalizes source code and reasons about it; IPL (Imandra Protocol Language) for modeling financial messaging protocols; and SpecLogician, which converts natural language into formal models. The tools are delivered through the hosted Imandra Universe platform and target financial infrastructure, autonomous workflows, and regulated industries where trustworthy, explainable AI reasoning is critical.

## Kin Score — 34.3 / 100 (thin)

Scored 2026-08-20 under rubric 0.12.0. Trend: flat (+0.0 from 34.3).

| Facet | Score |
|---|---|
| Discoverability | 75.9 |
| Contract Quality | 28.2 |
| Governance | 0.0 |
| Contract Governance | 0.0 |
| Operational Transparency | 2.6 |
| Developer Ergonomics | 69.0 |
| Commercial Clarity | 27.6 |
| Access Clarity | 27.6 |

## Agent readiness — 23.9 (agent-aware)

| Dimension | Value |
|---|---|
| Spec Presence | yes |
| Agentic Access | no |
| Reversibility Documented | no |
| MCP Server | no |
| Auth Clarity | yes |
| Idempotency | no |
| Error Semantics | no |
| OpenAPI Examples | no |
| Rate Limit Signal | no |
| Event Surface Described | no |
| Agent Skills | no |
| Well Known Catalog | no |
| Consent Identity | no |
| Agent Card | no |
| Dry Run Mode | no |

## Access

Self-serve signup — onboarding: self-serve, pricing: unknown, trial: no (confidence: medium).

## APIs (1)

- **ImandraX API** — The ImandraX cloud-native automated reasoning engine, exposed as a protobuf-defined gRPC API. Services include Eval (evaluate code snippets, parse terms/types, manage artifacts)...

## MCP servers (1)

- **Imandra MCP Server** — The CodeLogician MCP server exposes Imandra's CodeLogician Agent and Server workflows as structured tool calls, letting MCP-compatible agents (Claude, Cursor, Gemini, Codex) bui...

## Security (2)

- **Imandra Authentication** — apiKey · 1 scheme
- **Imandra Domain Security** — TLSv1.3 · HSTS · DMARC

## Tags

Company, Artificial Intelligence, Automated Reasoning, Formal Verification, Theorem Proving, Developer Tools, Code Analysis, Financial-Services, gRPC, MCP

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/providers/imandra/). Scores are computed from the provider's own public artifacts under a published rubric.