Skip to content
Agentmart
Submit a tool

DVERA CT verification tools

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

Connector by SuresoftTechnologies · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)
Write a review

Install

Works with Claude Desktop. Read the repository before you give any tool access to your data.

Download the bundle

MCP bundle (.mcpb): open it with Claude Desktop.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
1 read · 0 write · 0 deleteRead-only
Secrets
None asked for
Install scripts
Not scanned yet
Runs as
Downloaded binary

Tools by what they do 1

Read from the source code; the running server may list different tools.

Read 1 · Look things up without changing anything.

  • dvera_check_environment

Network hosts it talks to 1

  • github.com · found in install command

Tools (1)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • dvera_check_environment

    Report whether a local CT installation is usable by DVERA, and what is missing when it is not. Takes no arguments and needs no CT install, so it is the tool to run when the verification tools are absent from the list.

Signals

Stars
0
Forks
0
Open issues
0
Last commit
Oct 15, 2026 (14 days ago)
Last release
Sep 22, 2026 (1 month ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.SuresoftTechnologies/dvera-mcp
Version
0.1.4
Auth
No auth
Packages
mcpb https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
License
MIT
Repository
github.com/SuresoftTechnologies/dvera-plugin
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

DVERA CT verification tools MCP server. Agent Mart. https://agentmart.dev/connectors/suresofttechnologies-dvera-mcp (last updated 2026-10-24)