SuresoftTechnologies/dvera-plugin vs Git
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 | Git |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | — |
| Rating | — | — |
| Verified | — | |
| Hosted | — | — |
| Tools | — | — |
| Category | development | development |
| Author | SuresoftTechnologies | Community |
| Repo | SuresoftTechnologies/dvera-plugin | modelcontextprotocol/servers |
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 Git
Tools to read, search, and manipulate Git repositories.
Looking for something else? Browse all MCPs or check trending this week.