prover MCP server
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Category: Other
● Online (auth required), checked 12 min ago · 230 ms
Source: official MCP Registry entry com.axiomatic-ai/prover · repository
Direct MCP URL and setup
CLAUDE CODE
claude mcp add --transport http com-axiomatic-ai-prover https://prover.axiomatic-ai.com/mcp/CURSOR / VS CODE (mcp.json)
{ "mcpServers": { "com-axiomatic-ai-prover": { "url": "https://prover.axiomatic-ai.com/mcp/" } } }