com.axiomatic-ai/prover
MCPby com.axiomatic-ai · v0.1.0
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
mcpremote
MCP configuration
HTTPstreamable-http
URL
https://prover.axiomatic-ai.com/mcp/
Install in one click with Zurek
Browse here, install from the native macOS app — pick targets, fill env vars, and write configs safely.