OfficialLocalFree

DVERA CT verification tools MCP server

SuresoftTechnologies/dvera-plugin

Drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export.

0 GitHub stars

Install DVERA CT verification tools in Claude Code

Claude Code
curl -LO https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
Download 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 all