DVERA CT verification tools

io.github.SuresoftTechnologiesv0.1.4Updated Sep 24, 2026

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

VerifiedSTDIODesktop onlyData & Analytics

Installation

In SourceWeft

  1. Open DVERA CT verification tools in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

Tools

0
Tool metadata has not been indexed yet.

Version history

4
  1. v0.1.4LatestSep 22, 2026
  2. v0.1.2Sep 21, 2026
  3. v0.1.1Sep 18, 2026
  4. v0.1.0Sep 16, 2026