DVERA CT verification tools

io.github.SuresoftTechnologies/dvera-mcp · v0.1.1

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

Reachability not yet probed

Registry status active

Repo last push 2026-09-15

GitHub stars 0

Provenance

Registry namespace io.github.SuresoftTechnologies (GitHub-account verified by the official registry)

Repository github.com/suresofttechnologies/dvera-plugin

Get alerted when this changes. Email the moment io.github.SuresoftTechnologies/dvera-mcp drifts, dies, or revives.

Status badge

[![Toolpin](https://toolpin.dev/badge/io.github.SuresoftTechnologies/dvera-mcp.svg)](https://toolpin.dev/servers/io.github.SuresoftTechnologies/dvera-mcp)

Maintain this server? Add the badge to your README. It links your users to this live status page.