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

22nd pctile

19 competing vendors

Comparable listings · 30d

—

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

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.

OOther2Ranked by similarity

MMCP servers3Ranked by similarity

PPlatforms3Ranked by similarity

Skill Optimizer

● PLATFORM72% similar

no public price

Clawmark

● PLATFORM72% similar

no public price

SelfBench

● PLATFORM71% similar

no public price

AAgents1Ranked by similarity

ProofForge

● AGENT72% similar

no public price

FFrameworks1Ranked by similarity

Evalmonkey

● FRAMEWORK72% 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.