Skip to main content

Built by makers, shipped in public

Sign in

Repowise vs LeanWarp

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

Repowise compared with LeanWarp
DetailRepowise logo RepowiseLeanWarp logo LeanWarp
What it doesCodebase intelligence platform for AI agents and teams Hosted Lean 4 API for proof agents
StageStartup MVP
Founded2024 Not given
Based inNot given Not given
Pricing modelFreemium Paid
PricingFree: 2 public repos, 10 AI answers/month. Pro: $15/month (moving to $20/month in November, or $16/month yearly), includes private repos, auto-sync on every push, security scanning, $5/month AI credits. Teams: $20/seat/month with 3-seat minimum, includes 25 shared repos, shared $5/seat/month credit 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
  • Code health scoring with defect prediction
  • Blast radius and change impact detection
  • Auto-generated documentation rebuilt on every commit
  • Git intelligence: hotspots, owners and coupling detection
  • Architecture and decision tracking
  • MCP tools for Claude Code and Cursor
  • PR bot with change review and test detection
  • Security scanning: CVEs, secrets and reachability
  • Dead code detection and unused exports
  • Change Records with policy enforcement
Not given
What makes it different
  • Open source under AGPL-3.0, self-hostable with no LLM calls required to build the index
  • Every published benchmark includes sample size, corpus and statistical methods
  • Code health scores trained on years of real commits and defect fixes, with 0.74 AUC prediction accuracy
  • Eliminates need to switch tools: integrates with Claude Code, Cursor, VS Code, GitHub and team dashboards
  • 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 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)11 +1 (up) since last checkNot checked yet no change since last check
Trust Flow (Majestic)80
Citation Flow (Majestic)340
Referring domains (Majestic)2440

5 details filled in for both companies.

More alternatives to Repowise More alternatives to LeanWarp

Ask us