← all MCP servers
DVERA CT verification tools
io.github.SuresoftTechnologies/dvera-mcp
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
install
mcpb · stdio
https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb
details
- version
- 0.1.1
- license
- MIT
- stars
- 0
- last commit
- 2026-09-17
- published
- 2026-09-17
last synced 2026-09-18