DVERA CT verification tools
io.github.SuresoftTechnologies/dvera-mcp
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 0 | github.com/SuresoftTechnologies/dvera-plugin |
| Last push | 2026-09-22 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 0.1.4 · active · updated 2026-09-22 | registry |
| Package | mcpb: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- fojin — Buddhist Canon Tools Buddhist canon tools: search, passages, cross-canon parallels, dictionaries — all…
- ref-tools-ref-tools-mcp Provide your AI coding tools with token-efficient access to up-to-date technical…
- ref-tools-mcp Token-efficient search for coding agents over public and private documentation.
- HubVibe: Pay-per-Call Data Analysis, Research, Verification and Dev Tools for AI Agents Pay per call via HTTP 402: 5 site audits + 47 /work jobs as MCP tools and A2A skills…
- Neuronto ARD Registry: Agentic Resource Discovery (ARD) Index Neuronto ARD Registry: one search across every public ARD registry + 200,000+ verified MCP…
- Agent402 — pay-per-call web tools 1,308 paid agent tools + 42 multi-tool skill packs. USDC on Base or free via…
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.SuresoftTechnologies/dvera-mcp)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.SuresoftTechnologies/dvera-mcp.