DVERA CT verification tools

io.github.SuresoftTechnologiesv0.1.4更新于 Sep 24, 2026

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

已验证STDIO仅桌面Data & Analytics

安装

在 SourceWeft 中

  1. 打开 控制台中的 DVERA CT verification tools，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only，通过 STDIO。 STDIO 服务会启动本地进程，因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

工具

0
工具元数据尚未被收录。

版本历史

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