prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}Remote endpoints
https://prover.axiomatic-ai.com/mcp/streamable-httpWhat it can do
Tool inventory
No publishable tool enumeration has been recorded.
Community
Evidence
Recent observations
auth requiredversion not recorded—
auth requiredversion not recorded—