Activity analytics

We gather usage information, which helps us to improve your experience with our products. You can ask for any usage data we've gathered on you to be deleted by getting in touch. Read our cookie policy and legal notices.

Home to Reasoning as a Service® · Verification as a Service®
Imandra logo - homepage link

AI does the work. People stay accountable.

New from Imandra: Imandra Grounds formalizes the human in the loop. Every AI coding agent is held to evidence; every decision an agent can't make goes to a named person, who stays accountable for it; and every later change is checked against what they decided.

Explore Imandra Grounds
Project Groundwork · proofs on open-source code, live
NewImandra Groundsgrounds.imandra.ai
grounds.imandra.ai / cases / billing#42
A review case in Imandra Grounds: what there is to go on - the agent's reasoning trace, the change read in full, a proof - and the decisions waiting for a person

Trusted by

Keep the velocity of AI coding. Account for the code.

Imandra Grounds is the independent control plane for AI-written software. It holds every coding agent - Claude Code, Codex, Cursor, any agent that speaks MCP - to evidence, mathematical proof where it matters, and to human accountability.

The rules in force, where they apply, and how they have behaved on your work
GuideEvery agent gets your rules before it starts - for the files it is about to touch - and what is missing is handed back until the work is accounted for.
An agent's session: every step it reported, and Grounds' answer to each - what was witnessed, and what is only its word
VerifyWhat an agent claims is checked, not taken on its word: the change read in full, tests matched to CI, proofs run by Grounds itself on ImandraX, Lean, TLA+ and ProVerif.
Progress over time: how much of the work had its intent written down, a record, and a definition of done
RecordEvery change keeps its provenance - the goal, the evidence and whose word it is, what was assumed and who accepted it - in an open format you can audit and take anywhere.

Free for open source: agents formalise public libraries through Grounds, in the open, and anyone can build on the work.

Explore Imandra GroundsBook a demo

Available plans

Select a plan that scales with your automated reasoning needs, from building AI agents with reasoning skills to deploying enterprise-grade formal verification.

Imandra Universe is the ecosystem through which ImandraX, CodeLogician, and other reasoning tools are delivered.

Builder

Most Popular

Free for the first 7 days.
Built for individual builders who need predictable usage.

$25/month

Pro

For advanced users running heavier reasoning workloads.

$129/month

Team

Collaboration and scale for teams shipping reasoning systems.

$799/month
Learn more and start

Featured articles

News18 Aug 2026

Imandra Is Now Available on the Microsoft Marketplace

Imandra

News30 Jun 2026

BLOX Markets selects Imandra's Automated Reasoning technology to enhance Openpool Customer Onboarding and Development

Imandra

News28 Apr 2026

Grant Passmore Keynote: Region Decomposition - PLSE FM AI Workshop, Georgia Tech

LinkedIn

Video21 Apr 2026

Codex Meets Region Decomposition with ImandraX

YouTube

Video18 Apr 2026

Rigorous Edge-Case Detection for AI-Generated Code - Imandra + Gemini + Antigravity Demo

YouTube

Video12 Feb 2026

Imandra CodeLogician & Cursor: A Finance Case Study

YouTube

For all the latest research, press, and videos, see the news and media page.

We work with many of the world's largest and most trusted brands, universities and government agencies.

And we would be delighted
to work with you.

Have some questions?