Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Description supplied by the publisher; it is a claim, not verified evidence.
- Name
- com.axiomatic-ai/prover
- Listed in
- Official MCP Registry
- Publisher
- Axiomatic-AI (verified publisher)
- Latest version
- 0.1.0
- Published
- 2026-02-23
- Evidence
- Analyzed by UND Assay