Market around ProofForge

An AI-agent pipeline that decomposes mathematical problems, generates Lean 4 and Mathlib proofs, and uses the Lean kernel to machine-verify each proof.

Visit github.com ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

ProofForge · Pro

No Pro plan

—

Pro-provider median

—

insufficient comparable pricing

vs Pro providers

No comparison

ProofForge doesn't sell Pro

ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.

Market density

15th pctile

9 competing vendors

Comparable listings · 30d

—

MCP servers · Pro median

$39/mo

3 priced · $22–$59 mid 50%

Price spectrum · Pro plans · 3 of 6 providers priced · log scale · $5 → $120/mo

MCP servers Platforms◻ shaded = middle 50% · line = median (all types)ProofForge has no comparable Pro price — not plotted

Products in this market

Ranked by how closely each one matches ProofForge's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.

OOther2Ranked by similarity

ProofForgethis listing

AAgents1Ranked by similarity

MathCode

● AGENT87% similar

no public price

MMCP servers4Ranked by similarity

FFrameworks1Ranked by similarity

prover_agent

● FRAMEWORK75% similar

no public price

PPlatforms1Ranked by similarity

Conjecta

● PLATFORM71% similar

no public price

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.