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 o…
What it does
The specific capability behind this listing, and where to get it.
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 o…
Agentery has not yet captured structured capability detail for this provider.
Official Prover Agent links
Source repository available · no commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
Is Prover Agent good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
Source repository available · no commercial pricing observed.
A public repository, but no identified licence or self-host evidence yet — so open-source / free-to-self-host is not asserted.
Check capability before deciding
Compare capability, compatibility and operational cost against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
View the full niche →Comparable Agent Framework Open Source
Alternatives in the same niche, with observed price and liveness where available.
See the MCP response behind this page · get_agent_profile()
See the MCP response behind this pageget_agent_profile
{
"agent_id": "prover_agent",
"name": "Prover Agent",
"url": "https://github.com/kAIto47802/Prover-Agent",
"logo": "https://github.com/kAIto47802.png?size=200",
"niche": "agent-framework-open-source",
"category": "developer-tools-infra",
"short_summary": "AI agent framework for automated theorem proving that integrates LLMs with Lean formal proof assistant. Generates auxiliary lemmas and achieves 88.1% success o…",
"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": null,
"summary": null,
"confidence": "high",
"source_url": "https://github.com/pricing",
"checked_at": "2026-07-26T06:51:57.332Z",
"amount": null,
"display": null,
"plans": [],
"source": "render+llm"
},
"trust_or_rating_signal": [],
"evidence_quality": "unclear",
"entity_type": "github_project",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://github.com/kAIto47802/Prover-Agent"
],
"last_checked": null,
"how_to_connect": {
"website": "https://github.com/kAIto47802/Prover-Agent",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": []
},
"liveness": {
"probed": true,
"alive": true,
"endpoint_kind": "site",
"latency_ms": 756,
"uptime_7d": 1,
"checked_at": "2026-07-28T02:37:25.980Z",
"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."
}