LeanWarp vs Mira

A side-by-side comparison built from both listings. Blank cells mean the company has not given that detail; we never guess.

LeanWarp compared with Mira
Detail	LeanWarp	Mira
What it does	Hosted Lean 4 API for proof agents	Open-source AI code review for pull requests
Stage	MVP	Startup
Founded	Not given	Not given
Based in	Not given	Not given
Pricing model	Paid	Open source
Pricing	Starting at $0.000278 per second of worker time (including idle time, increasing with CPU and RAM usage). $10 minimum credit purchase. $10 free credit for new accounts with verified email while launch offer lasts.	Free and open source forever. Self-host the complete product for free. Users cover their own infrastructure costs and any usage billed by their chosen model provider.
Key features	Not given	Cross-file context analysis Pull request summaries GitHub, GitLab, and Forgejo support Multiple deployment options Bring your own model
What makes it different	Mathlib preloaded in pinned environments Multiple API interfaces (CLI, MCP, Python, HTTP) Kernel-verified proofs with no axioms allowed Draft checking for iterative development	Works with any model via your own API key
Free plan	Not given	Not given
Open source	Not given	Not given
Platforms	Not given	Not given
Public API	Not given	Not given
Community votes	0	0
DR (Domain Rating by Ahrefs)	Not checked yet no change since last check	7 no change since last check
Trust Flow (Majestic)	0	2
Citation Flow (Majestic)	0	28
Referring domains (Majestic)	0	35

5 details filled in for both companies.