{"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}}}