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

Market around Vero

A repository-level benchmark for AI agents that generate formally verified Lean 4 code across multi-module projects, implementing APIs and proving specifications from real-world repositories.

Visit vero.verina.io ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
Vero · Pro
No Pro plan
—
Pro-provider median
—
insufficient comparable pricing
vs Pro providers
No comparison
Vero doesn't sell Pro
ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.
Market density
15th pctile
8 strong substitutes
Price momentum · 31d
Flat
MCP servers · Pro median
$20/mo
1 priced · $20–$20 mid 50%
Platforms · Pro median
$26.59/mo
2 priced · $25.38–$27.79 mid 50%
Price spectrum · Pro plans · 2 of 4 providers priced · log scale · $20 → $24.17/mo
MCP servers Platforms◻ shaded = middle 50% · line = median (all types)Vero has no comparable Pro price — not plotted

Products in this market

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

OOther16Ranked by relevance
Verothis listing
● OTHER · relevance 100%
no public price
boundarybench
● OTHER · relevance 69%
no public price
agentcov
● OTHER · relevance 68%
no public price
Holdline
● OTHER · relevance 67%
no public price
github_crystianskillmap_map_in
● OTHER · relevance 67%
no public price
Yuan-Mind
● OTHER · relevance 67%
no public price
proofreader_skill
● OTHER · relevance 67%
no public price
Henka
● OTHER · relevance 67%
no public price
averatec_studio
● OTHER · relevance 67%
no public price
clawbench
● OTHER · relevance 66%
no public price
github_ashishpatel26500aiagent
● OTHER · relevance 66%
no public price
Data Eng Bench
● OTHER · relevance 66%
no public price
update_helper_skills
● OTHER · relevance 66%
no public price
openlore
● OTHER · relevance 66%
no public price
LOCUS Engine
● OTHER · relevance 65%
no public price
reprospan
● OTHER · relevance 65%
no public price
PPlatforms12Ranked by relevance
skill_optimizer
● PLATFORM · relevance 72%
no public price
clawmark
● PLATFORM · relevance 72%
no public price
agent_eval_harness
● PLATFORM · relevance 69%
no public price
windows_agent_arena
● PLATFORM · relevance 68%
no public price
ctf_agent_benchmark
● PLATFORM · relevance 68%
no public price
agentsproof
● PLATFORM · relevance 67%
$24.17/mo Pro
-9% vs Pro median
klavis_ai
● PLATFORM · relevance 65%
no public price
synth_ai
● PLATFORM · relevance 65%
no public price
Agent Arena
● PLATFORM · relevance 65%
no public price
ai_architect
● PLATFORM · relevance 65%
no public price
Agentic Evaluation Platform
● PLATFORM · relevance 65%
no public price
kolonie_platform
● PLATFORM · relevance 65%
no public price
FFrameworks7Ranked by relevance
evalmonkey
● FRAMEWORK · relevance 72%
no public price
langwatch
● FRAMEWORK · relevance 68%
no Pro plan
entry $34/mo
agentspec
● FRAMEWORK · relevance 68%
no public price
prover_agent
● FRAMEWORK · relevance 67%
no public price
openjudge
● FRAMEWORK · relevance 65%
no public price
niceeval
● FRAMEWORK · relevance 65%
no public price
factorly
● FRAMEWORK · relevance 65%
no public price
AAgents3Ranked by relevance
MathCode
● AGENT · relevance 67%
no public price
vibrantlabs
● AGENT · relevance 65%
no public price
forall
● AGENT · relevance 65%
no public price
MMCP servers11Ranked by relevance
DE
deepresearch_bench_ii
● MCP · relevance 67%
no public price
omen
● MCP · relevance 67%
no public price
orangepro_mcp
● MCP · relevance 67%
no public price
ops_codegraph_tool
● MCP · relevance 66%
no public price
speclaw
● MCP · relevance 66%
no public price
Goodeye
● MCP · relevance 66%
$20/mo Pro
minh_gkg
● MCP · relevance 66%
no public price
raysense
● MCP · relevance 65%
no public price
engineering_audit
● MCP · relevance 65%
no public price
sense
● MCP · relevance 65%
no public price
project_mapper
● MCP · relevance 65%
no public price
AAPIs1Ranked by relevance
synth
● API · relevance 66%
no Pro plan
entry $20/mo

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.