SuresoftTechnologies/dvera-plugin vs GitHub
Side-by-side comparison of two Model Context Protocol servers. Pick the right one for Claude Desktop, Claude Code, or Cursor.
Drives CT (Controller Tester) C/C++ verification from an MCP client: project setup, toolchain resolution, analysis, test generation and execution, statement/bra
Comparison
| Feature | SuresoftTechnologies/dvera-plugin | GitHub |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | 15 |
| Rating | — | — |
| Verified | — | |
| Hosted | — | Hosted |
| Tools | — | 5 |
| Category | development | development |
| Author | SuresoftTechnologies | GitHub |
| Repo | SuresoftTechnologies/dvera-plugin | github/github-mcp-server |
When to pick SuresoftTechnologies/dvera-plugin
Drives CT (Controller Tester) C/C++ verification from an MCP client: project setup, toolchain resolution, analysis, test generation and execution, statement/branch/MC-DC coverage, and report export. Requires a local CT 2026.06 or later installation; without one the server reports zero tools. Listed on the official MCP Registry (io.github.SuresoftTechnologies/dvera-mcp).
When to pick GitHub
Full GitHub access from Claude. Browse repos, read PRs, open issues, check CI runs, review diffs — without switching tabs.
Looking for something else? Browse all MCPs or check trending this week.