Skip to main content

Built by makers, shipped in public

Sign in

LeanWarp vs Animation MCP

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 Animation MCP
DetailLeanWarp logo LeanWarpAnimation MCP logo Animation MCP
What it doesHosted Lean 4 API for proof agents Search and customize Lottie animations inside your AI coding assistant
StageMVP Not given
FoundedNot given Not given
Based inNot given PK
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: 10 searches and 3 downloads per day after 7-day trial. Lifetime: $12 one-time payment for unlimited searches and 500 downloads per day.
Key featuresNot given
  • Works with Cursor, Claude Code, VS Code and Windsurf
  • Local file recoloring without leaving editor
  • Private processing on your machine
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
  • All processing happens locally on your machine, server only handles authentication and downloads
  • One-time payment removes limits forever with no subscription
  • 14-day money-back guarantee on Lifetime license
  • Supports up to 2 devices on same GitHub account
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 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 LeanWarp More alternatives to Animation MCP

Ask us