Imported from the official MCP registry - entry
io.github.SuresoftTechnologies/dvera-mcpv0.1.4. Ratings and installs below are from this marketplace.
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Packages
- mcpb:
https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
Source: https://github.com/SuresoftTechnologies/dvera-plugin
Registry entry: io.github.SuresoftTechnologies/dvera-mcp
