MCP server

DVERA CT verification tools

io.github.SuresoftTechnologies/dvera-mcp

Checked 26 Oct 2026, 08:31 UTC · Checked against OSV.dev for malware and vulnerabilities; never run by us

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

Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Runs on your computer

Sets up in

Claude Desktop

Last checked

26 Oct 2026, 08:31 UTC

Connect it to your agent

Claude Desktop

Download https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb and open it with Claude Desktop.

Runs on your computer with your permissions: check the package and its source before installing.

Browse

• GitHub tools
• GitHub and code hosting

Related MCP servers

• VARRD — Statistically Validated Trading Edges + AI Research Engine
  Validated trading edges across futures, equities, crypto. Live signals, full audit trail.
• SHIP
  Assign Linear, Jira or GitHub issues to an AI coding agent team that plans, builds, reviews, tests.
• Agent Ready Kit
  Agent-readiness scanner (0-5 score), robots.txt + llms.txt generators, managed agent enablement.
• Homevisto
  Browse property verification missions. Connect with Scouts for GPS-verified tours.
• Maatsii
  Live LinReg fan charts, 64-setup playbook, 11-section MTF TA. Remote MCP, no API key.
• Critical Path Partners
  Forensic scheduling MCP for Primavera P6 (XER): AACE windows, DCMA-14, Monte Carlo, TIA.
• Tyton
  Audit and set up Meta Pixel and the Conversions API from your AI agent.
• calc.engineer
  88 free engineering calculators: RF link budgets, LoRa/Meshtastic, PCB, solar, homelab. Keyless.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.SuresoftTechnologies/dvera-mcp.svg)](https://aptlynx.net/servers/io.github.SuresoftTechnologies/dvera-mcp)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents