DVERA CT verification tools

Name: DVERA CT verification tools MCP Server
Author: SuresoftTechnologies

stdio

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

Getting Started

npx @getmcp/cli add io.github.SuresoftTechnologies/dvera-mcp

Requires Python 3.10+. Community-contributed server. Review source before installing.

Claude Desktopguide →Vscodeguide →Cursorguide →Windsurfguide →

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "io.github.SuresoftTechnologies/dvera-mcp": {
      "command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb"
    }
  }
}

Claude Desktop MCP documentation (opens in new tab)

AuthorSuresoftTechnologies

Version0.1.0

LicenseMIT

Runtimepython

LanguagePython

Packagehttps://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb

TransportStdio

Updated5h ago

github.com (opens in new tab)