{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"streamable-http"},"description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","name":"com.axiomatic-ai/prover","remotes":[{"type":"streamable-http","url":"https://prover.axiomatic-ai.com/mcp/"}],"repository":{"source":"github","url":"https://github.com/Axiomatic-AI/ax-prover-base-mcp"},"title":"prover","version":"0.1.0"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:57:18Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:57:18Z"}}}