prover
MCP serverDev toolsLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Serves today. ahel can serve it to every connected agent through your gateway link.
Serve it through your gateway
One link, every agent. Your own credentials, stored once.
Signals
- Last commit
- Mar 2026