← All MCP serversMCP server (plugin) · Tools
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Source: github.com/Axiomatic-AI/ax-prover-base-mcp · License: see source
The full guide, versions and download are available to members — membership is free.