An MCP server for AI-driven formal proof search in Lean 4. It submits theorem or Lean files, coordinates parallel proof attempts, validates proofs with Lean and Mathlib, and manages asynchronous jobs.
Prices and medians update for the tier you select.
Compare at
LeanForge MCP · Pro
No Pro plan
—
Pro-MCP server median
$39
across 5 priced MCP servers
vs Pro MCP servers
No comparison
LeanForge MCP doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
17th pctile
2 competing vendors
Comparable listings · 30d
Flat
limited data · 0 priced comparables
MCP servers · Pro median
$39/mo
5 priced · $29–$79 mid 50%
Price spectrum · Pro plans · 4 of 5 providers priced · log scale · $7 → $99/mo
MCP servers◻ shaded = middle 50% · line = median (all types)LeanForge MCP has no comparable Pro price — not plotted
Products in this market
Ranked by how closely each one matches LeanForge MCP's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.
Market = the products most similar to this one by capability; prices are median / quartiles over its priced members, separated by provider type and buyer tier.
