io.github.SuresoftTechnologies/dvera-mcp
DVERA C/C++ Unit and Integration Verification
Is the DVERA C/C++ Unit and Integration Verification MCP server down? Yes. It has given no valid answer since 2026-10-31: crashed on start.
CT C/C++ unit and integration verification for functional-safety projects via coding agents and MCP.
crashed on start down since 2026-10-31 · probed 2026-11-14 · unchanged since 2026-11-11
MCP error -32000: Connection closed Using CPython 3.13.18 Creating virtual environment at: bundle/.venv error: failed to create directory `/work/bundle/.venv`:
- Bundle
- https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.5/dvera-mcp.mcpb (MCPB, for a client that installs bundles; probed in a container with the network off)
- Host
- github.com
- Repository
- https://github.com/SuresoftTechnologies/dvera-plugin
- Registry
- active, updated 2026-11-11 · registry entry
Compare this server with others.
More servers
Other registry entries on github.com, the ones next to this name; all of them.
- Griasa io.github.Stari-am/griasa · alive
- LSP-MCP Bridge io.github.Stryk91/lsp-mcp-rs · install failed
- Voicely io.github.StulkovLD/voicely · crashed on start
- COVERA COVER coverage tools io.github.SuresoftTechnologies/covera-mcp · crashed on start
- STATICA STATIC analysis tools io.github.SuresoftTechnologies/statica-mcp · crashed on start
- Infiknit io.github.Synthenova/infiknit · crashed on start
- io.github.Tanshaydar/quartermaster · install failed
- AlphaDesk io.github.TTNAN/alphadesk · crashed on start
Servers that mention dvera or verification or unit.
- dVeracity Semantic API com.dveracity/semantic-mcp · alive
- ai.atlasverified/atlas-mcp · needs auth
- Clarid HMDA Validator ai.clarid/hmda · needs auth
- DeployIt Product Expert ai.deployit/product-expert · alive
- ai.facesign/facesign-mcp · alive
- ai.getvda/llm-observability-orchestration-agent-langchain-community · newer protocol
- Human4AI Human Task Network ai.human4ai/collaboration · alive
- Iterant ai.iterant/iterant · needs auth
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- No valid answer since 2026-10-31, in every probe since then.
- The process exited on start before it answered initialize. The error output is above.