{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"stdio"},"description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","name":"io.github.suresofttechnologies/dvera-mcp","packages":[{"environmentVariables":[],"identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb","registryType":"mcpb","transport":{"type":"stdio"},"version":"0.1.4"}],"repository":{"source":"github","url":"https://github.com/SuresoftTechnologies/dvera-plugin"},"title":"DVERA CT verification tools","version":"0.1.4"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-22T10:02:10Z","synced_at":"2026-09-22T10:02:08.151740Z","is_latest":true,"published_at":"2026-09-15T03:58:24Z"}}}