Imandra · Pricing Plans

Imandra Price Estimates

Imandra Price Estimates is the pricing profile for Imandra on the APIs.io network.

No plan was found on the pages read; the profile records that absence rather than inventing a tier.

Tagged areas include Company, Artificial Intelligence, Automated Reasoning, Formal Verification, and Theorem Proving.

0 Plans Basis: tiered subscription
Estimated by API Evangelist — see each estimate's grade and inputs.
View Source
CompanyArtificial IntelligenceAutomated ReasoningFormal VerificationTheorem ProvingDeveloper ToolsCode AnalysisFinancial ServicesgRPCMCP

Compare with the market: Artificial Intelligence pricing · Developer Tools & DevOps pricing

Plans

No plan was found on the pages read; the profile records that absence rather than inventing a tier.
ESTIMATES, not quotes. Computed by API Evangelist from the prices this provider publishes on https://universe.imandra.ai/#pricing (transcribed in plans/imandra-plans-pricing.yml). Nothing here overrides a published price. Each estimate names the figure it came from, the formula, any assumption, and the field the provider can publish to replace it — publish that and the estimate is retired.

Work with this as data

Every plan 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 plans

4 MCP tools reach this
  • find_plansBrowse and filter every plan in the catalog.
  • 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 plan 
curl "https://apis.io/api/v1/plans/imandra-price-estimates"
All plans 
curl "https://apis.io/api/v1/plans?limit=25"

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.