MCP MCP server · io.github.SuresoftTechnologies
io.github.SuresoftTechnologies/dvera-mcp
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
- host stars
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 0
- Connections
- 0
mcpblocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Packaged as
- mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb
- Install
- install the https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb bundle
- Version
- 0.1.0
- Last release
- 2026-09-14
- Bundle downloads, lifetime
- 21