DVERA (Dynamic Verification Agent) brings CT C/C++ verification work into coding agents such as Claude Code, Codex CLI, Cursor, and GitHub Copilot. It uses the working context of source code…
dvera-plugin is an MCP project maintained in the suresofttechnologies/dvera-plugin repository. The maintainer describes its purpose as “DVERA (Dynamic Verification Agent) brings CT C/C++ verification work into coding agents such as Claude Code, Codex CLI, Cursor, and GitHub Copilot. It uses the…”. Read the project documentation for the complete scope.
The project provides a local client configuration using C:/Program Files/Suresoft/CT 2026/python/python.exe. Follow the repository’s build and installation steps before copying it, and replace example paths with the paths on your own computer.
Project documentation · Repository · Discovery listing. This profile records the public documentation checked on 2026-10-08.
{
"mcpServers": {
"dvera": {
"command": "C:/Program Files/Suresoft/CT 2026/python/python.exe",
"args": [
"/path/to/dvera-plugin/scripts/dvera-mcp.py"
]
}
}
}From the project documentation. Replace placeholders and example paths before connecting.
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
MCP server for Al Jazeera 360 — Connect AI assistants to Al Jazeera's streaming catalog. Search, browse, and retrieve Arabic video content with
Manage your AceData Cloud account: services, pricing, APIs, docs, balance, usage, keys & orders
Let Claude Code sessions see each other, message each other and stay out of each other's way in git: on one machine right after installing the plugin, or across different machines with a small…
React components and blocks with motion. Search docs, props and shadcn install commands.