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 ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select. Caution: thin market — treat statistics as indicative.

Compare at

ProofForge · Pro

No Pro plan

—

Pro-agent median

—

insufficient comparable pricing

vs Pro agents

No comparison

ProofForge doesn't sell Pro

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

Market density

0th pctile

1 competing vendors

Comparable listings · 30d

—

based on 0 comparable products with price history

Price spectrum · Pro plans · 1 of 1 providers priced · log scale · $120 → $120/mo

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.

AAgents3Ranked by similarity

ProofForgethis listing

● AGENT

no public price