kAIto47802/Prover-Agent
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
Orchestrates an informal reasoning LLM with a formal prover model and Lean 4 feedback to generate auxiliary lemmas—including special cases and derived facts beyond subgoals—that improve proof discovery. Built on vLLM and LiteLLM for distributed inference, it achieves 88.1% success on MiniF2F with significantly lower computational budget than prior approaches.
Stars
22
Forks
1
Language
Python
License
MIT
Category
Last pushed
Nov 01, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/kAIto47802/Prover-Agent"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
DariuszNewecki/CORE
Governance runtime enforcing immutable constitutional rules on AI coding agents
rafapra3008/cervellaswarm
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent...
whataboutyou-ai/eunomia
Eunomia is the open-source authorization layer for AI Agents
Task-force-for-AI-agents-in-Healthcare/haarf
⚕️ the world's first unified, lifecycle-centric regulatory framework specifically designed for...
OrchardHarmonics/orchard-kit
Complete alignment and safety architecture for autonomous AI agents. Membrane security,...