{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.sandraschi/leanforge-mcp","description":"MCP server for AI-driven formal proof search in Lean 4","repository":{"url":"https://github.com/sandraschi/leanforge-mcp","source":"github"},"version":"0.1.0","packages":[{"registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb","fileSha256":"267c7214023a51328495d0dbd0354364dab7d91abb7b50595d0fb889ac78f00f","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-28T13:56:08.259134Z","publishedAt":"2026-08-28T13:56:08.259134Z","updatedAt":"2026-08-28T13:56:08.259134Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.sandraschi/leanforge-mcp","description":"Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management","repository":{"url":"https://github.com/sandraschi/leanforge-mcp","source":"github"},"version":"0.1.1","packages":[{"registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb","fileSha256":"b7756ae11418bbe271eedb194c3091c943f8198418047210f7e30258750d7e06","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-19T00:49:45.79469Z","publishedAt":"2026-10-19T00:49:45.79469Z","updatedAt":"2026-10-19T00:49:45.79469Z","isLatest":true}}}],"metadata":{"count":2}}