{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"com.axiomatic-ai/prover","description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","repository":{"url":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","source":"github"},"version":"0.1.0","remotes":[{"type":"streamable-http","url":"https://prover.axiomatic-ai.com/mcp/"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-02-23T22:16:23.957805Z","publishedAt":"2026-02-23T22:16:23.957805Z","updatedAt":"2026-02-23T22:16:23.957805Z","isLatest":true}}}],"metadata":{"count":1}}