Imandra Is Now Available on the Microsoft Marketplace

We're pleased to announce that the Imandra Automated Reasoning Framework for Capital Markets is now available on the Microsoft Marketplace.

For firms already building on Azure, this means the framework can be procured, deployed, and run inside the environment your teams and your auditors already know - with no new vendor onboarding cycle standing between you and provable AI.

Imandra available on the Microsoft Marketplace

Why this matters

Adopting a new capability in a regulated firm frequently stalls on procurement and security concerns. With the Azure Marketplace, we're making it quicker for you to access formal reasoning.

Listing on the Azure Marketplace removes most of that friction. Your teams can:

Buy through existing Azure billing arrangements, drawing on committed spend rather than opening a new purchasing cycle
Consolidate vendor management under invoicing and agreements your finance and procurement functions have already approved
Deploy directly into Azure-hosted environments, alongside the systems the framework is there to verify

And critically for capital markets: the framework is delivered as a virtual machine that runs inside your own Azure tenant. Your source code and your data never leave it.

What you get

The Imandra Automated Reasoning Framework pairs any large language model with automated reasoning, ensuring formal logic and machine-checked proof, so the logic your AI produces is provable, not merely plausible. It is built on ImandraX, our automated reasoning engine and theorem prover.

Bring your own model. CodeLogician augments any LLM, formalizes decision logic, maps every case, and proves the properties that must hold. When a property doesn't hold, you get the exact input that breaks it, so your engineers can fix the defect before it reaches production.

Verify across the stack. The same engine reaches beyond code:

System design: Formalize and check specifications before you build, and prove that a migration behaves identically to the system it replaces
System integration: Model message protocols such as FIX and ATDL into provably correct conformance suites, and shorten client onboarding
Financial contracts: FpML, verified rather than reviewed
Smart contracts: DAML, held to the same standard

Evidence, by default. Every step is captured and governed in Ponens, our open-source auditable system of record, with computable, policy-based checks.

Who it's for

Capital-markets firms and the technology partners who build alongside them: the engineering, quantitative, risk, and compliance teams responsible for trading, pricing, risk, settlement, venue-integration, and contract systems.

If your mandate is to adopt AI at scale and remain able to prove, govern, and evidence what that AI produces, the framework is built for you.

Get started

The listing is live on the Microsoft Marketplace now: view the listing.

About Imandra