NativeCode vs LeanWarp

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

NativeCode compared with LeanWarp
Detail	NativeCode	LeanWarp
What it does	A free local-first AI coding IDE for macOS and Windows	Hosted Lean 4 API for proof agents
Stage	MVP	MVP
Founded	Not given	Not given
Based in	Not given	Not given
Pricing model	Free	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	Monaco code editor with VS Code-inspired workspace Local AI inference via Ollama or LM Studio OpenAI-compatible server support Plan mode with approval flow for write operations Vision and reasoning model support Integrated terminal with shell command execution 7.11 MB download using system WebView Project memory and skills for context management Web search and guarded page fetching 100% local by default with zero telemetry	Not given
What makes it different	Complete privacy with local models and zero telemetry Private local-first alternative to Cursor Any model support via Ollama or OpenAI-compatible servers	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)	2 no change since last check	Not checked yet no change since last check
Trust Flow (Majestic)	0	0
Citation Flow (Majestic)	4	0
Referring domains (Majestic)	7	0

4 details filled in for both companies.

More alternatives to NativeCode More alternatives to LeanWarp