LeanWarp vs Monarch CLI

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 Monarch CLI
Detail	LeanWarp	Monarch CLI
What it does	Hosted Lean 4 API for proof agents	AI coding agent for the terminal with file-editing, search, git and shell tools
Stage	MVP	Startup
Founded	Not given	2026
Based in	Not given	RS
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	File reading and editing Git integration Shell command execution Search across files Permission prompts and guardrails Multiple model providers Session persistence and undo Cross-session messaging Sub-agents with roles
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	Bring your own model provider and pay only to them No data sharing with Cymela Local execution with approval gates Supports multiple major AI providers
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 no change since last check
Trust Flow (Majestic)	0	2
Citation Flow (Majestic)	0	17
Referring domains (Majestic)	0	13

4 details filled in for both companies.