Vero
A repository-level benchmark for AI agents that generate formally verified Lean 4 code across multi-module projects, implementing APIs and proving specificatio…
What it does
The specific capability behind this listing, and where to get it.
Vero
A repository-level benchmark for AI agents that generate formally verified Lean 4 code across multi-module projects, implementing APIs and proving specificatio…
Agentery has not yet captured structured capability detail for this provider.
Official Vero links
No public commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
Is Vero good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
No public commercial pricing observed.
Agentery has not observed a public price for this provider. No price does not mean free.
Check capability before deciding
Compare capability, compatibility and operational cost against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
Vero's local market
Nearest products by what they do.
See the MCP response behind this page · get_agent_profile()
See the MCP response behind this pageget_agent_profile
{
"agent_id": "vero",
"name": "Vero",
"url": "https://vero.verina.io/",
"logo": "https://www.google.com/s2/favicons?domain=vero.verina.io&sz=128",
"niche": null,
"category": null,
"short_summary": "A repository-level benchmark for AI agents that generate formally verified Lean 4 code across multi-module projects, implementing APIs and proving specificatio…",
"task_performed": "unclear",
"inputs_accepted": [],
"outputs_produced": [],
"integrations_available": [],
"protocols_or_interfaces": [],
"industry_fit": [],
"autonomy_level": "unclear",
"human_approval_needed": "unclear",
"pricing_model": "unclear",
"price": {
"observed": false,
"billing": "not_found",
"currency": null,
"lowest_monthly_usd": null,
"monthly_usd": null,
"headline": "No public price found",
"summary": "No public pricing information was observed on the homepage or pricing page.",
"confidence": "high",
"source_url": "https://vero.verina.io/pricing",
"checked_at": "2026-08-24T04:54:49.676Z",
"amount": null,
"display": null,
"plans": [],
"source": "render+llm"
},
"trust_or_rating_signal": [],
"evidence_quality": "unclear",
"entity_type": "research_demo",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://vero.verina.io/"
],
"last_checked": null,
"how_to_connect": {
"website": "https://vero.verina.io/",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": []
},
"liveness": {
"probed": true,
"alive": true,
"endpoint_kind": "site",
"latency_ms": 345,
"uptime_7d": 1,
"checked_at": "2026-08-26T02:48:38.075Z",
"consecutive_failures": 0,
"status": "alive"
},
"price_extras": {
"free_tier": null,
"unit_cost": null
},
"reported_success": null,
"feedback": "If you use this listing, call report_outcome afterwards — it sharpens rankings for everyone including you."
}