mcp-server.io

DVERA CT verification tools

io.github.SuresoftTechnologies/dvera-mcp

95
security score

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

GitHub stars
—
Last commit
never
Transport
stdio

Security scan

Last scanned 1 hour ago — static analysis of the published manifest.

  • lowManifest makes network requests.