LeanWarp vs Backbencher

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 Backbencher
Detail	LeanWarp	Backbencher
What it does	Hosted Lean 4 API for proof agents	Local code intelligence that shows its evidence
Stage	MVP	Not given
Founded	Not given	Not given
Based in	Not given	Not given
Pricing model	Paid	Free
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.	Not given
Key features	Not given	Supports 50 languages with 53 registry IDs 16 SQLite tables for symbols, source bounds, imports and relationships 16 MCP agent tools for code analysis AST-based code indexing Incremental re-indexing with automatic freshness tracking Call-graph analysis Respects .gitignore and .bbignore files Shows file, line and evidence for every answer Local storage with no cloud required Optional embedding provider integration for semantic search
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	Every answer includes file location, line number and the relationship walked to get there Fully local operation with no cloud requirements Open source under MIT license Free to use with no paid plans or cost
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	Not checked yet
Trust Flow (Majestic)	0	0
Citation Flow (Majestic)	0	0
Referring domains (Majestic)	0	0

3 details filled in for both companies.

More alternatives to LeanWarp More alternatives to Backbencher