Prover Agent

A theorem-proving agent that combines informal reasoning with formal Lean feedback.

• Developer / Organization: Kaito Baba, Chaoran Liu, Shuhei Kurita and Akiyoshi Sannai
• Category: Open-source formalization & proving
• Purpose: Combine informal reasoning and formal Lean proof generation.
• Key features: Coordinates reasoning, formal proof generation and Lean feedback, with benchmark execution tools.
• Availability: Open-source software; MIT
• License: MIT (source (opens in a new tab))
• Website / Source code: https://github.com/kAIto47802/Prover-Agent (opens in a new tab)
• Version: GitHub release v0.1.0
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01