Market around Prover Agent

AI agent framework for automated theorem proving that integrates LLMs with Lean formal proof assistant. Generates auxiliary lemmas and achieves 88.1% success on MiniF2F benchmark.

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

Prover Agent · Pro

No Pro plan

—

Pro-provider median

—

insufficient comparable pricing

vs Pro providers

No comparison

Prover Agent doesn't sell Pro

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

Market density

9th pctile

6 competing vendors

Comparable listings · 30d

—

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

Frameworks◻ shaded = middle 50% · line = median (all types)Prover Agent has no comparable Pro price — not plotted

Products in this market

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

FFrameworks1Ranked by similarity

Prover Agentthis listing

● FRAMEWORK

no public price

AAgents2Ranked by similarity