{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","title":"DVERA CT verification tools","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.0","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb","fileSha256":"1ef03aec68ce8c8bc6bdc1353150be38c0d1684e426267178c610748acaac046","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-14T23:46:54.602154Z","publishedAt":"2026-09-14T23:46:54.602154Z","updatedAt":"2026-09-14T23:46:54.602154Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","title":"DVERA CT verification tools","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.1","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb","fileSha256":"e85a4e4ef57fdbed99465f3955753ba69826abde1c7d8774a65c112192bd27e3","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-17T22:50:12.767679Z","publishedAt":"2026-09-17T22:50:12.767679Z","updatedAt":"2026-09-17T22:50:12.767679Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","title":"DVERA CT verification tools","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.2","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb","fileSha256":"4bd6ea64506e54a0b3aacb08c51fa1bbd941a6b13689ef1704c4e4242fcd93b0","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-21T00:56:19.909409Z","publishedAt":"2026-09-21T00:56:19.909409Z","updatedAt":"2026-09-21T00:56:19.909409Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","title":"DVERA CT verification tools","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.3","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.3/dvera-mcp.mcpb","fileSha256":"3e624291a5b21761548b316fe6c621d43078b4074c2241fb8b4f37be869ba2ed","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-22T04:52:52.795658Z","publishedAt":"2026-09-22T04:52:52.795658Z","updatedAt":"2026-09-22T04:52:52.795658Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","title":"DVERA CT verification tools","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.4","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb","fileSha256":"151a0d30e284c37e01a93080798cc25f975eff932055cc7919929bfd5cedc030","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-22T06:41:55.783127Z","publishedAt":"2026-09-22T06:41:55.783127Z","updatedAt":"2026-09-22T06:41:55.783127Z","isLatest":true}}}],"metadata":{"count":5}}