NestDaddy

DVERA C/C++ Unit and Integration Verification

io.github.SuresoftTechnologies/dvera-mcp ยท v0.1.5

CT C/C++ unit and integration verification for functional-safety projects via coding agents and MCP.

Connect Runs on your machine

Terminal
claude mcp add dvera-mcp -- https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb
claude_desktop_config.json
{
  "mcpServers": {
    "dvera-mcp": {
      "command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb",
      "args": []
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "dvera-mcp": {
      "command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb",
      "args": []
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "dvera-mcp": {
      "type": "stdio",
      "command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb",
      "args": []
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Packagehttps://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb (MCPB, stdio)
First published11 Nov 2026
Last updated11 Nov 2026
Registry nameio.github.SuresoftTechnologies/dvera-mcp

More developer tools servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.