Imbue vs LeanWarp

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

Imbue compared with LeanWarp
Detail	Imbue	LeanWarp
What it does	Tools that work for you, not the company that built them	Hosted Lean 4 API for proof agents
Stage	Established	MVP
Founded	2021	Not given
Based in	US	Not given
Pricing model	Not given	Paid
Pricing	Not given	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.
Key features	Code review with confidence scoring and deduplication GitHub Actions integration for PR reviews Agent conversation history analysis	Not given
What makes it different	Software that works for you, not the company that built it Open agent ecosystem that users can understand, modify, and verify Catches coding agent mistakes by reading conversation history Zero telemetry and no account required Works with local models and multiple AI providers	Mathlib preloaded in pinned environments Multiple API interfaces (CLI, MCP, Python, HTTP) Kernel-verified proofs with no axioms allowed Draft checking for iterative development
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)	63 −1 (down) since last check	Not checked yet no change since last check
Trust Flow (Majestic)	17	0
Citation Flow (Majestic)	42	0
Referring domains (Majestic)	1187	0

3 details filled in for both companies.