Imandra · FinOps Profile
Imandra Finops
FinOps mapping for Imandra, derived from the prices Imandra publishes (https://universe.imandra.ai/#pricing), transcribed verbatim in plans/imandra-plans-pricing.yml. Nothing here is estimated.
Imandra Finops is the FinOps profile for Imandra on the APIs.io network, aligned with the FinOps Foundation Framework.
The provider bills by subscription, as read on 2026-10-28.
billed in USD, on a monthly cycle, and pricing category commitment (subscription).
The profile maps 4 FOCUS columns for cost-allocation reporting.
Tagged areas include Company, Artificial Intelligence, Automated Reasoning, Formal Verification, and Theorem Proving.
Pricing: Commitment (Subscription)
Billing: Monthly
FOCUS v1.3
Bills by: subscription
Derived by API Evangelist from the provider's plans and contracts on 2026-10-28.
View Source
CompanyArtificial IntelligenceAutomated ReasoningFormal VerificationTheorem ProvingDeveloper ToolsCode AnalysisFinancial ServicesgRPCMCP
Framework Alignment
FOCUS Columns
BillingCurrency
USD
PricingUnit
subscription
ProviderName
Imandra
ServiceName
Imandra
Sources
Work with this as data
Every finops artifact here is available over the APIs.io API and to AI agents over MCP.