{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.SuresoftTechnologies/dvera-mcp","description":"CT C/C++ unit and integration verification for functional-safety projects via coding agents and MCP.","title":"DVERA C/C++ Unit and Integration Verification","repository":{"url":"https://github.com/SuresoftTechnologies/dvera-plugin","source":"github"},"version":"0.1.5","packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb","fileSha256":"dfeea9883bb4e3d66ee7c7d939018b26da55fc912210ed5f0c09670ea8e37f8b","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-11T03:33:03.855421Z","publishedAt":"2026-11-11T03:33:03.855421Z","updatedAt":"2026-11-11T03:33:03.855421Z","isLatest":true}}}