agentery
$ agentery.com/api/mcpsubmit agent
← Back to search

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
3rd pctile
1 competing vendors
Comparable listings · 30d
—

No providers in this market have a Pro-tier plan — try another tier.

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.

FFrameworks32Ranked by relevance
prover_agentthis listing
● FRAMEWORK · relevance 100%
no public price
tsukuyomi
● FRAMEWORK · relevance 67%
no public price
standard_agent
● FRAMEWORK · relevance 67%
no public price
EV
EvoAgentX
● FRAMEWORK · relevance 66%
no public price
dippin
● FRAMEWORK · relevance 64%
no public price
arc_protocol
● FRAMEWORK · relevance 64%
no public price
openjudge
● FRAMEWORK · relevance 64%
no public price
langgraph_dev_navigator
● FRAMEWORK · relevance 64%
no public price
llm_council
● FRAMEWORK · relevance 63%
no public price
omnigent
● FRAMEWORK · relevance 63%
no public price
tardygrada
● FRAMEWORK · relevance 63%
no public price
Open Mathematical Modeling Workflow
● FRAMEWORK · relevance 63%
no public price
AReaL
● FRAMEWORK · relevance 63%
no public price
Base120
● FRAMEWORK · relevance 63%
no public price
noema_declarative_ai
● FRAMEWORK · relevance 62%
no public price
SMITH
● FRAMEWORK · relevance 62%
no public price
minicode
● FRAMEWORK · relevance 62%
no public price
sema_lang
● FRAMEWORK · relevance 62%
no public price
Auto-GPT
● FRAMEWORK · relevance 62%
no public price
ctx_3
● FRAMEWORK · relevance 62%
no public price
gentis_ai
● FRAMEWORK · relevance 61%
no public price
goal_flow
● FRAMEWORK · relevance 61%
no public price
alphatrion
● FRAMEWORK · relevance 61%
no public price
Project Christina
● FRAMEWORK · relevance 61%
no public price
langwatch
● FRAMEWORK · relevance 61%
no Pro plan
entry $34/mo
l4_language
● FRAMEWORK · relevance 61%
no public price
coexist_ai
● FRAMEWORK · relevance 61%
no public price
ouroboros
● FRAMEWORK · relevance 61%
no public price
harnessclaw_engine
● FRAMEWORK · relevance 61%
no public price
orion_os
● FRAMEWORK · relevance 61%
no public price
Mastra
● FRAMEWORK · relevance 61%
no Pro plan
entry $250/mo
MetaGPT
● FRAMEWORK · relevance 61%
no public price
AAgents6Ranked by relevance
MathCode
● AGENT · relevance 75%
no public price
pi
● AGENT · relevance 63%
no public price
forall
● AGENT · relevance 62%
no public price
CowAgent Coding Plan
● AGENT · relevance 61%
no public price
Forge
● AGENT · relevance 61%
no public price
peri
● AGENT · relevance 61%
no public price
MMCP servers6Ranked by relevance
mcp_logic
● MCP · relevance 67%
no public price
mcp_atom_of_thoughts
● MCP · relevance 66%
no public price
chiasmus
● MCP · relevance 66%
no public price
prolog_reasoner
● MCP · relevance 63%
no public price
Frama-C MCP
● MCP · relevance 62%
no public price
jacobian
● MCP · relevance 61%
no public price
PPlatforms3Ranked by relevance
Conjecta
● PLATFORM · relevance 67%
no public price
dedoctive
● PLATFORM · relevance 64%
no public price
velocity
● PLATFORM · relevance 63%
no public price
OOther1Ranked by relevance
Vero
● OTHER · relevance 67%
no public price
AAPIs2Ranked by relevance
OpenRouter
● API · relevance 62%
no public price
zveno_ai
● API · relevance 61%
no public price

Thin market — few comparable priced products; treat statistics as indicative.