Loading…
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
DVERA CT verification tools is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 51/100. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. No automated install command is listed; check the repository for manual setup instructions. Review the last-pushed date and repository status before adding DVERA CT verification tools to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
See source docsReview the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-09-22T06:41:55.783127Z",
"publishedAt": "2026-09-22T06:41:55.783127Z",
"statusChangedAt": "2026-09-22T06:41:55.783127Z"
}
},
"server": {
"name": "io.github.SuresoftTechnologies/dvera-mcp",
"title": "DVERA CT verification tools",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "0.1.4",
"packages": [
{
"transport": {
"type": "stdio"
},
"fileSha256": "151a0d30e284c37e01a93080798cc25f975eff932055cc7919929bfd5cedc030",
"identifier": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb",
"registryType": "mcpb"
}
],
"repository": {
"url": "https://github.com/SuresoftTechnologies/dvera-plugin",
"source": "github"
},
"description": "DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage."
}
}