Developer · Local MCP server
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.SuresoftTechnologies/dvera-mcp- Version
- 0.1.4
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- MCP Bundle (.mcpb)
- Published
- 2026-09-22
- Updated
- 2026-09-22
- Publisher
- SuresoftTechnologies (GitHub)
- Repository
- github.com/SuresoftTechnologies/dvera-plugin
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbSHA-256 checksum stated | — | stdio |
How to connect DVERA CT verification tools
DVERA CT verification tools runs locally from an MCP Bundle: a single downloadable archive holding a local server and a manifest that describes it: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs a client that installs MCP Bundles; the file is opened in, or added to, that client.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| Duolingo MCPKeyless MCP server for Duolingo profiles: languages, XP, streaks, achievements. | Local · stdio |
| Duplicacy MCPMCP server for Duplicacy — monitor backup status and Prometheus metrics. | Local · stdio |
| Duplicati MCPMCP server for Duplicati backup management — list, run, monitor and configure jobs from an LLM. | Local · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Local · stdio |
| Dwarf Fortress (DFHack)MCP server exposing a live Dwarf Fortress fort to an AI agent as curated, semantic tools. | Local · stdio |
| DWG MCP ServerRead-only DWG file access for AI clients through MCP. | Local · stdio |
| dxpert.ai — free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Local · stdio |
| dxtra Radio — Frequency DatabaseRadio frequency database: FM, AM, shortwave, TV, ham, weather, emergency alerts. 15+ countries. | Remote · SSE |