Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Live
Open / InstallLast updated July 27, 2026
Description
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Author
com.axiomatic-ai
Platform
mcp
Pricing model
free
Categories
mcp
Tags
No tags.
Capabilities
No capabilities listed.