DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.SuresoftTechnologies/dvera-mcp |
| 版本 | 0.1.4 |
| 分類 | 開發工具AI 與模型 |
| 遠端網址 | — |
| 安裝套件 | mcpb：https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb（stdio） |
| 原始碼 | https://github.com/SuresoftTechnologies/dvera-plugin |
| 網站 | — |
| 最後更新 | 2026-09-22T06:41:55.783127Z |