Skip to main content

Built by makers, shipped in public

Sign in

LeanWarp vs Engineering Corpus

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 Engineering Corpus
DetailLeanWarp logo LeanWarpEngineering Corpus logo Engineering Corpus
What it doesHosted Lean 4 API for proof agents Coding agents that cite open-source prior art
StageMVP MVP
FoundedNot given Not given
Based inNot given Not given
Pricing modelPaid Freemium
PricingStarting 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. Open source engine (MIT); hosted service is paid
Key featuresNot given
  • Cites open-source code at specific commits with exact line numbers
  • Prior-art briefs showing how projects solved the same problem
  • Automated license classification and verdicts
  • Semantic search using embedding model and BM25
  • Works with Claude Code, Codex, Cursor and other MCP clients
  • Runs locally on your machine under MIT license
  • Receipt with repo, commit, lines and license class
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
  • Only tool that automatically cites exact lines and commits from real open-source projects
  • Eliminates hallucinated code by searching real open-source implementations
  • Handles license compliance automatically in every report
  • Runs entirely on your machine with no telemetry or analytics
  • Open-source engine with MIT license; paid hosted service option
Free planNot given Not given
Open sourceNot given Not given
PlatformsNot given Not given
Public APINot given Not given
Community votes00
DR (Domain Rating by Ahrefs)Not checked yet no change since last check4 no change since last check
Trust Flow (Majestic)00
Citation Flow (Majestic)08
Referring domains (Majestic)01

5 details filled in for both companies.

More alternatives to LeanWarp More alternatives to Engineering Corpus

Ask us