Home › Development › DVERA CT verification tools
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Topics: Developer Tools
Connect
Review any command before running it. Package names and URLs come from the server's own registry entry.
Package (mcpb)
Package: mcpb https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
Related servers
Codebase Memory
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
claude-task-master
AI-powered task management system for AI-driven development. Features PRD parsing, task expansion, multi-provider support (Claude, OpenAI,…
Figma-Context-MCP
Give your coding agent access to your Figma data. Implement designs in any framework in one-shot.
git-mcp
[gitmcp.io](https://gitmcp.io/) is a generic remote MCP server to connect to ANY [GitHub](https://www.github.com) repository or project…
Repowise
Codebase intelligence for AI coding agents — graph, git history, docs, decisions, code health.
mobile-mcp
MCP server for iOS and Android Mobile Development, Automation and Testing
Listed in punkpeye/awesome-mcp-servers (MIT)
Data from the Official MCP Registry