Imandra

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.

Imandra is listed with 1 API on the APIs.io network. Tagged areas include Company, Artificial Intelligence, Automated Reasoning, Formal Verification, and Theorem Proving.

Imandra’s developer surface includes documentation, API reference, getting-started guide, support, pricing, signup flow, authentication, and 15 more developer resources.

🌐 Visit website 📡 Profile data on GitHub

41.3/100 developing ▬ flat Agent 16/100 agent aware Front door AI 6/6 dominant Heartbeat 87/100 alive saas Full breakdown ↓
scored 2026-11-06 · rubric v0.27.0 · Show this score on your site →

AccessPaid

1 API 1 MCP Servers

Company Artificial IntelligenceAutomated ReasoningFormal Verification Theorem Proving Developer Tools Code Analysis Financial Services gRPC MCP

Kin Score

Kin Score How this is scored →
scored 2026-11-06 · rubric v0.27.0

Composite quality — 41.3/100 · developing

Contract Quality 5.1 / 21

Developer Ergonomics 11.7 / 17

Access Clarity 11.4 / 17

Operational Transparency 0.3 / 11

Contract Governance 0.0 / 10

Discoverability 6.2 / 9

Regulatory Posture 2.7 / 15

Agent readiness — 16/100 · agent aware

Machine-Readable Contract 18 / 18

Agentic Access Contract 0 / 10

Documented Reversibility 0 / 6

MCP Server 0 / 12

Machine-Readable Auth 10 / 10

Idempotency 0 / 9

Stable Error Semantics 0 / 8

Request/Response Examples 0 / 7

Rate-Limit Signaling 0 / 7

Typed Event Surface 0 / 6

Agent Skills 0 / 5

Well-Known Catalog 0 / 4

Consent & Bot Identity 0 / 3

A2A Agent Card 0 / 8

Dry-Run / Simulate Mode 0 / 4

Delegated User Identity 0 / 6

Protected Resource Metadata 0 / 5

Registration Without a Human 0 / 6

Agentic Commerce Well-Known Document 0 / 5

Pagination 5 / 5

Distinct Operations 3 / 3

MCP Tool Quality 6 / 6

Regulatory Posture applies to this provider. Its tags matched the Horizontal (data, software, accessibility, platform) regime, so Regulatory Posture carries 15 points of the composite. If this regime is wrong for your business, say so on your provider repo — the applicability map is public and we will correct it.

Create-or-Update Ergonomics could not be measured. We hold no machine-readable contract for this provider to read, so there is nothing to measure a write surface against. Excluded rather than scored zero: never-measured and measured-empty are different facts. Publishing an OpenAPI is what makes this facet — and several others — scorable at all.

The six quality facets above are damped to 85 points between them, because the conditional facet above carries the other 15. That is why each facet's contribution is shown against a damped maximum: raising a quality facet moves the composite by 85% of its nominal weight, not 100%. The full arithmetic is at apis.io/rating/.

Show this score on your site.

It updates itself when the score changes. Paste this where you link to your API docs:

<a href="https://apis.io/providers/imandra/"><img src="https://apis.io/badge/imandra/card.svg" alt="Imandra on APIs.io — Kin Score by API Evangelist"></a>

Other styles, a README pill and a shields.io endpoint are on the badge page.

Raise your score.

Agent readiness — checks not met, largest first (exact, from this profile):

MCP Server +12 pts — deployment.mode + probe verdict on the mcp/ manifest, not the pointer; an unprobed slug falls back to authorship
Agentic Access Contract +10 pts — agentic_access artifact present (x-agentic-access), graded by author
Idempotency +9 pts — OpenAPI mutating operations declare an idempotency key — a header, a request-body property, or a named de-duplication token whose own description says so (verified); else common[].type matches /idempoten/i (documented)
Stable Error Semantics +8 pts — OpenAPI $refs a shared error schema across 4xx/5xx responses (verified), else common[].type includes ErrorCatalog / ErrorCodes / DeclineCodes
A2A Agent Card +8 pts — a2a/-a2a.yml manifest, graded on conformance.grade against A2A 1.0.0
Rate-Limit Signaling +7 pts — OpenAPI responses document X-RateLimit-* / RateLimit headers (verified), else a rate_limits artifact or RateLimits link (documented)

11 more unmet checks in the Agent Readiness table above.

Kin Score — facets with the most composite points still available (weight × headroom):

Contract Quality scores 24.0 — up to +19.0 composite points
Operational Transparency scores 2.6 — up to +12.7 composite points
Contract Governance scores 0.0 — up to +12.0 composite points

Each check links to what satisfies it. Publish the artifact, or tell us where it already lives, and the score moves on the next scoring run.

Improve this rating by publishing the missing artifacts — every area above can be raised, and the full rubric is at apis.io/rating/. Every facet and dimension name above is a link: it opens that measurement's own page — what it means, the exact checks that feed it, how the whole catalog distributes on it, and the providers at the top of it. This rating is computed from the provider profile at artifacts.apis.io/imandra/apis.yml: open an issue on github.com/api-evangelist/imandra to ask a question or point us at an artifact you publish. Submit an artifact on GitHub — free → Manage your own listing — the Influence plan, $499/mo →

Markets this provider is in provisional

The Kin Score Market layer reads a provider inside its market: its position, and how deep its integrations go. Depth is only comparable within a position. Provisional and unweighted: not part of the Kin Score or agent readiness.

Market	Position	Depth	Registered MCP server	Declares compatibility
IDE Extension Marketplaces (JetBrains, VS Code, Open VSX, Docker Verified Publishers, PyPI orgs)	builds-on	34.5 (thin)	-	-
Buf Schema Registry (public Protocol Buffers modules, gRPC / ConnectRPC schema publishers)	builds-on	34.5 (thin)	-	-

Registered MCP server and declares compatibility are report only — not weighted. Undeclared means we found nothing we can read, so there is no number: we never infer integrations.

Standards implemented 2

Standards this provider implements or carries. De facto ones are profiled and measured by the API Commons; formal ones come from the standards directory and are linked by the provider's own tags. The evidence column says how each claim was established — not that it was made.

gRPC

tagged — the provider's own APIs.json carries the standard as a tag; implementation not verified

Model Context Protocol (MCP)

tagged — the provider's own APIs.json carries the standard as a tag; implementation not verified

APIs 1

Individual APIs this provider publishes, each with its own machine-readable definition.

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

Model Context Protocol servers that expose these APIs to AI agents.

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...

MCP SERVER

Imandra API pricing

Prices published by Imandra, read 2026-10-07 from universe.imandra.ai/#pricing.

Plan	Price
Builder	$25/month Includes: 1,250 reasoning credits; Free for the first 7 days; Community cloud; Builder tier requests may be an
Pro	$129/month Includes: 6,500 reasoning credits; Priority queue
Team	$799/month Includes: 40,000 pooled reasoning credits; 5-10 users; Shared workspace; Custom reasoners/agents support

Plan details, limits and sources →

Billed by: subscription · FinOps profile →

Pricing Plans 2

Published pricing tiers and plan structures.

Imandra Plans Pricing

3 plans

PLANS

Imandra Price Estimates

0 plans

PLANS

FinOps 1

Cost, billing, and metering signals for API financial operations.

Imandra Finops

FINOPS

Security Posture 2

Authentication, domain security, vulnerability disclosure, and trust-center signals.

Imandra Authentication

apiKey · 1 scheme

SECURITY

Imandra Domain Security

TLSv1.3 · HSTS · DMARC

SECURITY

Resources

Get Started 4

Portal, sign-up, and the first successful call

DeveloperPortal

DeveloperPortal

GettingStarted

GettingStarted

SignUp

SignUp

Login

Documentation 2

Reference material describing how the API behaves

Documentation

Documentation

APIReference

APIReference

Agent Surfaces 2

MCP servers, agent skills, and machine-readable catalogs

MCPServer

MCPServer

LLMsTxt

LLMsTxt

Design & Contract 1

Pagination, idempotency, versioning, errors, and events

Conventions

Conventions

Build 4

SDKs, sample code, and the tooling you integrate with

GitHubOrganization

Packages

SDKs

CLI

Access & Security 2

Authentication, authorization, and security posture

Authentication

Authentication

DomainSecurity

DomainSecurity

Operate 1

Status, limits, changes, and where to get help

Support

Support

Commercial 4

Pricing, plans, and the legal terms of use

Plans

Pricing

TermsOfService

PrivacyPolicy

Company 1

The organization behind the API

Website

Website

Other 1

Properties that don't map to a standard resource type

Protobuf

Protobuf

Source (apis.yml)

aid: imandra
name: Imandra
description: 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.
url: https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/apis.yml
deliveryModel:
  model: saas
  open_source: false
  commercial: true
  callable_host: false
  label: Hosted service · you call their endpoint
  confidence: medium
  source:
  - pricing
  generated: '2026-08-28'
  method: derived
accessModel:
  pricing: paid
  onboarding: unknown
  trial: false
  try_now: false
  public: false
  label: Paid
  confidence: medium
  source:
  - plans
  - authentication
  - security
  generated: '2026-11-06'
  method: derived
image: https://www.imandra.ai/images/og-image-default.png
x-type: company
x-source: vc-portfolio
x-backed-by:
- anthemis
x-tier: enriched
x-tier-reason: portfolio-lead
specificationVersion: '0.23'
created: '2026-07-17'
modified: '2026-07-19'
tags:
- Company
- Artificial Intelligence
- Automated Reasoning
- Formal Verification
- Theorem Proving
- Developer Tools
- Code Analysis
- Financial Services
- gRPC
- MCP
tags_raw:
- Company
- Ai
- Automated Reasoning
- Formal Verification
- Theorem Proving
- Developer Tools
- Code Analysis
- Financial Services
- gRPC
- MCP
- Financial-Services
maintainers:
- FN: Kin Lane
  email: kin@apievangelist.com
- FN: APIs.json
  email: info@apis.io
apis:
- name: ImandraX API
  description: 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), Simple (verify, test, qcheck, instance-find, decompose,
    typecheck, oneshot), SessionManager (stateful reasoning sessions), and System (version and memory management). An HTTP
    API client is also published for OCaml.
  humanURL: https://imandrax.dev/docs
  baseURL: https://universe.imandra.ai
  tags:
  - Automated Reasoning
  - Theorem Proving
  - gRPC
  properties:
  - type: Protobuf
    url: grpc/_index.yml
  - type: Protobuf
    url: grpc/imandra-api.proto
  - type: Protobuf
    url: grpc/imandra-simple_api.proto
  - type: Documentation
    url: https://imandrax.dev/docs
common:
- type: Plans
  url: plans/imandra-plans-pricing.yml
- type: Website
  url: https://www.imandra.ai
- type: DeveloperPortal
  url: https://docs.imandra.ai
- type: Documentation
  url: https://docs.imandra.ai
- type: APIReference
  url: https://github.com/imandra-ai/imandrax-api/tree/main/src/proto
- type: GettingStarted
  url: https://codelogician.dev/docs/getting-started/
- type: Support
  url: https://forum.imandra.ai
- type: GitHubOrganization
  url: https://github.com/imandra-ai
- type: Pricing
  url: https://universe.imandra.ai/#pricing
- type: SignUp
  url: https://universe.imandra.ai/sign-up
- type: Login
  url: https://universe.imandra.ai/login
- type: TermsOfService
  url: https://www.imandra.ai/legal
- type: PrivacyPolicy
  url: https://www.imandra.ai/legal
- type: Protobuf
  name: ImandraX gRPC protobuf specs
  url: grpc/_index.yml
- type: Packages
  url: packages/imandra-packages.yml
- type: SDKs
  url: packages/imandra-packages.yml
- type: MCPServer
  url: mcp/imandra-mcp.yml
- type: Authentication
  url: authentication/imandra-authentication.yml
- type: CLI
  url: cli/imandra-cli.yml
- type: Conventions
  url: conventions/imandra-conventions.yml
- type: LLMsTxt
  url: llms/imandra-llms.txt
- type: DomainSecurity
  url: security/imandra-domain-security.yml
x-enrichment:
  date: '2026-07-19'
  status: backfilled
  pass: local-v1
  note: backfilled from .gitignore signal + verified work evidence

Imandra API — frequently asked questions

Does Imandra have an API?

Yes. APIs.io lists 1 API from Imandra, including ImandraX API.

How do I authenticate with the Imandra API?

Imandra uses bearer-token authentication (apiKey · 1 scheme). The details are profiled on APIs.io as Imandra Authentication.

How much does the Imandra API cost?

Imandra publishes its prices; its Builder plan is $25/month as of 2026-10-07. APIs.io lists 3 pricing plans for Imandra, with each plan's price, limits and inclusions under Pricing on this page.

Does Imandra have an MCP server?

Yes. APIs.io lists 1 MCP server for Imandra: The CodeLogician MCP server exposes Imandra's CodeLogician Agent and Server workflows as structured tool calls, letting MCP-compatible agents (Claude, Cursor, Gemini, Codex) build formal models of sou

Is the Imandra API ready for AI agents?

Imandra has a Kin Score of 41.3 out of 100 (developing) and an Agent Readiness score of 15.5 (agent-aware), scored by API Evangelist on 2026-11-06.

Work with this as data

Every provider here is available over the APIs.io API and to AI agents over MCP.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for providers

9 MCP tools reach this

find_providersBrowse and filter every provider in the catalog.
get_provider_artifactsEvery artifact this provider publishes, grouped by type.
get_provider_operationsEvery operation across all of their OpenAPIs — one call instead of parsing every spec.
get_provider_toolsEvery MCP tool they ship, with the operation each wraps.
get_provider_evidenceHow each part of their score was established. Free — the basis for a claim should not sit behind it.
get_provider_ratingPRO — composite, band, trend and facet scores.
apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
resolveTurn a domain, URL or GitHub org into the provider it belongs to.
find_cohortsEvery scored population of providers in the catalog.

All 92 tools →

Call it yourself

curl for this page

This provider

curl "https://apis.io/api/v1/providers/imandra"

All providers

curl "https://apis.io/api/v1/providers?limit=25"

Every operation they expose

curl "https://apis.io/api/v1/providers/imandra/operations?limit=25"

How their score was established

curl "https://apis.io/api/v1/providers/imandra/evidence"

Calls without X-API-Key need no key. Calls with it need a paid plan — get a key.

Get an API key

Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.

GitHub Google LinkedIn

A second provider on the same verified email joins the account you already have.