{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.meob/euclid-mcp","description":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","title":"Euclid-MCP","repository":{"url":"https://github.com/meo/euclid-mcp","source":"github"},"version":"0.1.2","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"euclid-mcp","version":"0.1.2","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-07-13T14:43:06.638282Z","publishedAt":"2026-07-13T14:43:06.638282Z","updatedAt":"2026-07-13T14:43:06.638282Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.meob/euclid-mcp","description":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","title":"Euclid-MCP","repository":{"url":"https://github.com/meob/Euclid-MCP","source":"github"},"version":"0.4.2","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"euclid-mcp","version":"0.4.2","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-18T07:39:33.996692Z","publishedAt":"2026-08-18T07:39:33.996692Z","updatedAt":"2026-08-18T07:39:33.996692Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.meob/euclid-mcp","description":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","title":"Euclid-MCP","repository":{"url":"https://github.com/meob/Euclid-MCP","source":"github"},"version":"0.4.3","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"euclid-mcp","version":"0.4.3","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-18T19:51:42.270648Z","publishedAt":"2026-08-18T19:51:42.270648Z","updatedAt":"2026-08-18T19:51:42.270648Z","isLatest":true}}}],"metadata":{"count":3}}