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