LeanWarp vs Exody

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 Exody
Detail	LeanWarp	Exody
What it does	Hosted Lean 4 API for proof agents	Autonomous coding agent for Mac with multi-model AI router, design studio, and desktop assistant
Stage	MVP	Not given
Founded	Not given	Not given
Based in	Not given	IL
Pricing model	Paid	Free
Pricing	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.	Free with Bring Your Own Keys (BYOK); users provide their own API keys for Claude, GPT, Gemini, Grok, or local Ollama at zero markup
Key features	Not given	Multi-model Smart Router (Claude, GPT, Gemini, Grok, Ollama) with bring your own keys at zero markup Autonomous code review with fresh reviewer verification before presenting diffs Canvas-first Design Studio for websites, landing pages, 3D scenes and film EXO desktop assistant that takes meetings, watches calendar, answers on iMessage iPhone remote control for real-time agent control with WebRTC streams Isolated worktrees keep your branch untouched until approval iOS Simulator automation driven by the agent Opt-in unrestricted model for security research, red teams, fiction, and medicine Local-first architecture with zero telemetry
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	Wins 10 out of 12 blind code reviews compared to raw model APIs Design Studio wins 6 out of 6 blind design tests against raw models Bring your own keys across all providers at zero markup unlike Cursor and Windsurf Local-first architecture with zero telemetry and private execution Integrated iPhone companion for remote approval and monitoring
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)	Not checked yet no change since last check	Not checked yet no change since last check
Trust Flow (Majestic)	0	0
Citation Flow (Majestic)	0	0
Referring domains (Majestic)	0	1

4 details filled in for both companies.

More alternatives to LeanWarp More alternatives to Exody