Registry oficial MCPServidor hostedprover.axiomatic-ai.com
Axiomatic Prover
Lean 4 theorem prover that compiles proofs and formalizes mathematics with Mathlib integration.
Conectar a Claude Code
Copiarclaude mcp add --transport http axiomatic-prover https://prover.axiomatic-ai.com/mcp/Servidor remoto alojado por el proveedor: no hay nada que instalar en local. Si usa OAuth, Claude abre el login del proveedor la primera vez.
Endpoints
- https://prover.axiomatic-ai.com/mcp/streamable-http
Publicado en el registry oficial MCP como “Axiomatic Prover”. Verificado por el namespace del proveedor.