What is dvera-plugin?
dvera-plugin is a MCP server by SuresoftTechnologies that drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export. It is listed under Developer tools and has no public popularity data yet.
| Type | Mcp server |
|---|---|
| Author | SuresoftTechnologies |
| Repository | SuresoftTechnologies/dvera-plugin |
| Popularity | no public popularity data yet |
| Category | Developer tools |
| Security | Low risk (88/100) |
| Rank | #3,929 of 4,418 MCP servers; #728 in Developer tools |
| License | MIT |
| Last commit | 2026-10-15 |
| Runs | Locally |
| Language | Python |
| Platforms | Windows, Linux |
Is dvera-plugin safe to install?
dvera-plugin scores 88/100 on the MCPMods security check: Low risk. Things to review: can take actions such as send, write or deploy. It passed 5 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Published by the service itself | Pass |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Can take actions such as send, write or deploy | Review |
| No code execution | Pass |
| Source on GitHub | Pass |
How do I install dvera-plugin?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/SuresoftTechnologies/dvera-plugin
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add dvera-plugin -- <command from README> claude mcp add --transport http dvera-plugin <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs dvera-plugin for you:
Add the "dvera-plugin" MCP server from https://github.com/SuresoftTechnologies/dvera-plugin to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.