---
title: "DVERA CT verification tools"
canonical: https://penguindriver.com/s/io.github.SuresoftTechnologies%2Fdvera-mcp
markdown: https://penguindriver.com/s/io.github.SuresoftTechnologies%2Fdvera-mcp.md
retrieved: 2026-09-28
language: zh-Hant-TW
content_sha256: 312d2f392a6b232c6ef02890bed457ab0b4bccd39cba4e8127e3a1bbd2d11695
cite: https://penguindriver.com/cite?path=%2Fs%2Fio.github.SuresoftTechnologies%252Fdvera-mcp
sources:
  - https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
  - https://github.com/SuresoftTechnologies/dvera-plugin
---

# 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
- 遠端：—
- 套件：mcpb https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
- 原始碼：https://github.com/SuresoftTechnologies/dvera-plugin
- 分類：開發工具、AI 與模型

---
MCP 伺服器資料來自官方 MCP Registry；付費 API 來自 x402 Bazaar。網頁版：https://penguindriver.com/s/io.github.SuresoftTechnologies/dvera-mcp

電子書優惠：看到此訊息 24 小時內購買，一律第一階段最低價（私訊時提供優惠碼 P092805）：https://ebook.penguindriver.com
冷錢包 X1 五折優惠碼：Hulk@SFP，官方網站：https://safepal.com/zh-tc/store/x1｜交易所手續費減免註冊：幣託 https://www.bitopro.com/users/sign_up?referrer=3481486016｜BingX https://bingxzone.com/partner/QTKP7NLU｜幣安 https://www.binance.com/join?ref=HULK12