Skip to main content

Built by makers, shipped in public

Sign in

CodeHerd vs LeanWarp

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

CodeHerd compared with LeanWarp
DetailCodeHerd logo CodeHerdLeanWarp logo LeanWarp
What it doesRun your AI coding agents side by side Hosted Lean 4 API for proof agents
StageNot given MVP
FoundedNot given Not given
Based inGB Not given
Pricing modelFreemium Paid
PricingFree: up to 3 sessions, unlimited projects, Claude Code, Codex CLI, Gemini CLI, OpenCode, Muse Code and custom commands, draggable panes, git worktrees, in-app browser, notifications. Pro: £10/month or £96/year (save £20%), includes everything in Free plus unlimited sessions, Herd HQ, voice dictatio 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
  • Run multiple CLI agents in parallel panes side by side
  • Git worktree support with automatic branch management per agent
  • Keyboard-first interface with customizable layouts
  • Voice dictation transcribed on your Mac
  • Page annotation and attachment to prompts
  • iOS Simulator integration
  • Automatic layout and session restoration on relaunch
Not given
What makes it different
  • Bring your own subscriptions with no API keys or credentials stored
  • No accounts, no telemetry, no cloud required
  • Works offline for 7 days after last licence check
  • One Pro licence works on up to 3 Macs simultaneously
  • 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)1 +1 (up) since last checkNot checked yet no change since last check
Trust Flow (Majestic)00
Citation Flow (Majestic)00
Referring domains (Majestic)00

4 details filled in for both companies.

More alternatives to CodeHerd More alternatives to LeanWarp

Ask us