DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Install
MCPB bundlesstdio
https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)
{
"mcpServers": {
"io-github-suresofttechnologies-dvera-mcp": {
"command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb",
"args": []
}
}
}Source: official MCP Registry record · registry name io.github.SuresoftTechnologies/dvera-mcp · published 2026-09-17 · updated 2026-09-17. Not an endorsement; review the code before connecting it to anything sensitive.