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
claude mcp add dvera-mcp -- https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb
{
"mcpServers": {
"dvera-mcp": {
"command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb",
"args": []
}
}
}
{
"mcpServers": {
"dvera-mcp": {
"command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb",
"args": []
}
}
}
{
"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
| Package | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb (MCPB, stdio) |
| First published | 11 Nov 2026 |
| Last updated | 11 Nov 2026 |
| Registry name | io.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.
