Loading MCP server directory, please wait...
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
npx @getmcp/cli add com.axiomatic-ai/proverRequires Node.js 18+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"com.axiomatic-ai/prover": {
"url": "https://prover.axiomatic-ai.com/mcp/",
"transport": "streamable-http"
}
}
}