DVERA CT verification tools MCP Server

io.github.SuresoftTechnologies/dvera-mcp

Repository Registry

What is the DVERA CT verification tools MCP server?

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

How to install DVERA CT verification tools

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "dvera-mcp": {
      "command": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb",
      "args": []
    }
  }
}

Related MCP servers

io.github.SurfEther/trustsource

Maintained

x402-paid domain verification for AI agents — trustscore, SSL, security headers, robots.

TypeScript

MIT

View repository →

Microsoft Teams

Maintained

Connect Claude to Microsoft Teams — read/send messages, list channels, search chats.

TypeScript

MIT

View repository →

io.github.SurgeX-Labs/awx-mcp-server

Maintained

Control AWX/Ansible Tower through natural language with 49 automation tools

Python

View repository →

io.github.Sushegaad/iso27001-mcp

Active

ISO 27001 compliance assistant for Claude—controls, risks, policies, evidence, and audit workflows in one encrypted local database.

TypeScript

MIT

View repository →

Historis

The memory of your business: an event-based CRM your assistant reads and writes, dated and signed.

io.github.Swap-API/mcp

Maintained

Get executable token swap calldata for EVM chains—no API keys, no accounts, no SDK bloat.

TypeScript

MIT

View repository →