Install DVERA CT verification tools in Claude Code
curl -LO https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbDownload dvera-mcp.mcpb and double-click it to install in Claude Desktop.MCP Bundles install in one click in Claude Desktop. Download the file, then open it.
Frequently asked questions
What does the DVERA CT verification tools MCP server do?
Drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export.
Is the DVERA CT verification tools MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does DVERA CT verification tools run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add DVERA CT verification tools to Claude Code?
Run: curl -LO https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
More developer tools MCP servers
View allFeatureflip
canopy-labs/featureflip-mcp
Manage Featureflip feature flags: create and toggle flags, edit targeting rules and find stale flags.
Codelogic
CodeLogicIncEngineering/codelogic-mcp-server
CodeLogic code dependency analytics, architectural risk analysis and impact assessment.
M00N Report
m00nreport/mcp-server
Test management: author manual test cases, run executions, cut releases and link automated tests, with prompts for flaky-test triage and release readiness.
Code Context
infino-ai/code-context
Local code search for coding agents: hybrid keyword and semantic search with SQL relevance ranking over a plain-file index.
serve
servelink-swyftlabs/serve-mcp
Public HTTPS links for local files, directories or dev servers, via a live tunnel or published copy, with password protection, TTLs and named subdomains.
ProdEAI
CuriousBox-AI/ProdE-mc
Your 24/7 production engineer that preserves context across multiple codebases Prode.ai.