1. Conduid
  2. RAG
  3. DVERA CT verification tools
MCP server · RAG

DVERA CT verification tools

by · github.com/SuresoftTechnologies/dvera-plugin

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

Unclaimed rag
InstallView source
34Low

Scored a month ago · breakdown

About DVERA CT verification tools

DVERA CT verification tools is an MCP server published by SuresoftTechnologies in the RAG category: dVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/SuresoftTechnologies/dvera-plugin

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about DVERA CT verification tools

Powered by Claude · Grounded in docs

I know everything about DVERA CT verification tools. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v0.1.4v0.1.4 · 22 Sep 2026No functional change from 0.1.3. The server, its tools and its behaviour are identical. This release exists so that directories which build from the repository rather than from the release asset pick up the built-in tool added in 0.1.3.…
v0.1.3v0.1.3 · 22 Sep 2026Adds a built-in tool, so the server is never an empty one. `dvera_check_environment` is answered by the server itself, with no CT installation behind it. It reports whether a local CT install is usable by DVERA and what to do when it is…
v0.1.2v0.1.2 · 21 Sep 2026Fixes the version the server reports over the wire. 0.1.1 shipped with `SERVER_INFO` still set to `0.1.0`, so an MCP client saw `0.1.0` in the `initialize` response while every manifest said `0.1.1`. No behaviour change beyond that string.
v0.1.1v0.1.1 · 17 Sep 2026Corrects three Skill defects and republishes the bundle so installed copies pick them up. `ct-test-loop` documented the AI test-generation argument as `spec`; the CT catalog declares `specs`, an array of requirement strings.…
v0.1.0v0.1.0 · 14 Sep 2026First release of the DVERA MCP server. It exposes CT (Controller Tester)'s 21 C/C++ verification tools to an MCP client, so creating a project, running analysis, generating and executing tests, reviewing coverage, and exporting reports all…
Questions

About DVERA CT verification tools

How do I install DVERA CT verification tools?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is DVERA CT verification tools safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is DVERA CT verification tools still maintained?

Yes — the latest release is v0.1.4 (22 Sep 2026), and the last commit was a month ago. The repository has 0 stars.