{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.phongndo/alive2-mcp","description":"Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links","title":"Alive2","repository":{"url":"https://github.com/phongndo/alive2-mcp","source":"github","id":"1443959098"},"version":"0.1.0","websiteUrl":"https://github.com/phongndo/alive2-mcp","packages":[{"registryType":"oci","identifier":"ghcr.io/phongndo/alive2-mcp:0.1.0","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-03T08:03:16.507559Z","publishedAt":"2026-11-03T08:03:16.507559Z","updatedAt":"2026-11-03T08:03:16.507559Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.phongndo/alive2-mcp","description":"Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links","title":"Alive2","repository":{"url":"https://github.com/phongndo/alive2-mcp","source":"github","id":"1443959098"},"version":"0.1.1","websiteUrl":"https://github.com/phongndo/alive2-mcp","packages":[{"registryType":"oci","identifier":"ghcr.io/phongndo/alive2-mcp:0.1.1","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-03T09:07:53.060118Z","publishedAt":"2026-11-03T09:07:53.060118Z","updatedAt":"2026-11-03T09:07:53.060118Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.phongndo/alive2-mcp","description":"Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links","title":"Alive2","repository":{"url":"https://github.com/phongndo/alive2-mcp","source":"github","id":"1443959098"},"version":"0.1.2","websiteUrl":"https://github.com/phongndo/alive2-mcp","packages":[{"registryType":"oci","identifier":"ghcr.io/phongndo/alive2-mcp:0.1.2","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-03T10:12:23.441152Z","publishedAt":"2026-11-03T10:12:23.441152Z","updatedAt":"2026-11-03T10:12:23.441152Z","isLatest":true}}}],"metadata":{"count":3}}