Skip to main content

Built by makers, shipped in public

Sign in

LeanWarp vs OxCode

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 OxCode
DetailLeanWarp logo LeanWarpOxCode logo OxCode
What it doesHosted Lean 4 API for proof agents Stop fixing what your AI just wrote.
StageMVP Not given
FoundedNot given Not given
Based inNot given AE
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. Free: ₹0 forever with 15 agent runs per day and 1 concurrent session. Starter: ₹99/month for first 2 months, then ₹899/month with 40 agent runs per day and 2 concurrent sessions. Pro: ₹999/month for first 2 months, then ₹3,999/month with 200 agent runs per day and 5 concurrent sessions.
Key featuresNot given
  • Plans features from rough ideas into scoped tasks
  • Understands and maps codebases
  • Writes code from natural language descriptions
  • Debugs errors and traces failures
  • Generates focused tests for behavior and edge cases
  • Assists with deployment steps
  • Monitors issues using runtime context
  • Agent mode for automated execution
  • Reviewable execution and permission controls
  • Works with most modern languages and frameworks
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
  • Full engineering loop support from intent to production
  • Plans, builds, debugs, tests, deploys, and monitors
  • Routes prompts efficiently to reduce wasted execution
  • Explains decisions so you learn while shipping
  • Works with existing codebases and new projects
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 check21 no change since last check
Trust Flow (Majestic)03
Citation Flow (Majestic)021
Referring domains (Majestic)016

4 details filled in for both companies.

More alternatives to LeanWarp More alternatives to OxCode

Ask us