v0.1.0

First release of the DVERA MCP server.

It exposes CT (Controller Tester)'s 21 C/C++ verification tools to an MCP client, so creating a project, running analysis, generating and executing tests, reviewing coverage, and exporting reports all happen in one conversation.

Install

Download dvera-mcp.mcpb and install it in a client that supports MCP bundles. The host provides the Python runtime, so there is nothing to install first.

CT 2026.06 or later must be installed locally for the tools to do anything. Without it the server still starts and reports zero tools, so it is safe to leave configured on any machine. If CT is installed somewhere other than the default location, set its path in the install dialog.

How it is built

• No third-party dependencies. Standard library only.
• No CT product code is bundled or imported. The server reads the tool catalog shipped with the local CT installation and forwards each call to CT's own command-line entry point.
• Every tool carries a title and a consent hint (readOnlyHint / destructiveHint), so a client asks before running anything that changes state.

Verifying the download

sha256  1ef03aec68ce8c8bc6bdc1353150be38c0d1684e426267178c610748acaac046

Note

The Claude Code plugin with 14 Skills is separate from this bundle. See the repository README for how to install it.