Imandra · Pricing Plans
Imandra Plans Pricing
Imandra Plans Pricing is the pricing profile for Imandra on the APIs.io network — every figure transcribed verbatim from the provider’s own pricing page on 2026-10-07.
It defines 3 plans, including Builder — $25 /month; Pro — $129 /month; Team — $799 /month.
The page prices API or platform usage directly, as a tiered subscription; the service is delivered as managed.
Tagged areas include Company, Artificial Intelligence, Automated Reasoning, Formal Verification, and Theorem Proving.
3 Plans
Prices the API
Basis: tiered subscription
Delivered: managed
Transcribed from the provider's pricing page on 2026-10-07 — universe.imandra.ai/#pricing.
View Source
CompanyArtificial IntelligenceAutomated ReasoningFormal VerificationTheorem ProvingDeveloper ToolsCode AnalysisFinancial ServicesgRPCMCP
Plans
Builder
month
$25 /month
Includes: 1,250 reasoning credits; Free for the first 7 days; Community cloud; Builder tier requests may be analyzed for Imandra Universe platform improvements
Pro
month
$129 /month
Includes: 6,500 reasoning credits; Priority queue
Team
month
$799 /month
Includes: 40,000 pooled reasoning credits; 5-10 users; Shared workspace; Custom reasoners/agents support
Sources
Work with this as data
Every plan here is available over the APIs.io API and to AI agents over MCP.