# DVERA CT verification tools (mcpb · dvera-mcp.mcpb)

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

- Trust score: 34/100 (low)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-09-21

## Components

- mcpb · `dvera-mcp.mcpb`: 34/100 (this document), [markdown](https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver.md), [page](https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver)

## Channel facts

- Registry: `mcpb`
- Package: `https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-09-21.

- **Supply Chain Security**: 13/100
  - Malware scan not yet available for this package.
  - Known CVEs could not be checked: this artifact ships no SBOM, so there is no dependency list to read. Publishing one would let us assess it.
  - No install/post-install scripts declared.
  - Dependency health could not be checked: this artifact ships no SBOM, so there is no dependency list to read. Publishing one would let us assess it.
- **Provenance & Transparency**: 45/100
  - Source repository is publicly reachable at the declared URL.
  - Provenance check failed: no build-provenance attestation is published.
  - Clear OSI-approved license (MIT).
  - Actively maintained (last published 0 days ago).
  - Disclosure check failed: no security disclosure policy was found in the source repository.
- **Schema Quality & AI Usability**: 80/100
  - AI-judged instruction clarity (excellent).
  - Tool/resource definitions use about 57 tokens (~57/item across 0 items; 0 tools + 0 resources), lean.
  - Nothing to assess: this server has no tools to check for usage examples.
- **Stability & Change Management**: 0/100
  - Stability not yet verified: not enough scan history yet (needs a 30-day window).
- **Tool Coverage**: 0/100
  - Nothing to assess: this server exposes no tools, so there are no tool definitions to check for coverage.
- **Tool Safety**: 75/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - Destructive-tool annotations not yet verified: our capture listed no tools, so there were no annotations to read.
  - An AI judge read all 1 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 60/100
  - Spec-recency check failed: implements MCP spec 2025-06-18; the latest is 2026-07-28.

**Unverified: 1 category.** A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

## Install

- Download bundle: `https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb`

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-09-21 (score 34)

First indexed and scored.

## MCP tools (0)

The sandbox run completed and this package exposed no tools.

## Diagnostics

Captured diagnostic sections: Provenance. The full working is on the page: https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver#diagnostics

## Score history

- 2026-09-21: 34

## Common questions

### What is the DVERA CT verification tools MCP server?

DVERA CT verification tools is an MCP server listed in the public MCP registry as io.github.SuresoftTechnologies/dvera-mcp. DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage. This page covers its MCPB bundle (https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb).

### Is the DVERA CT verification tools MCP server safe to use?

DVERA CT verification tools scores 34 out of 100 on VerifyMCP. It declares no install or post-install scripts. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### What tools does the DVERA CT verification tools MCP server expose?

DVERA CT verification tools exposes no tools. We connected to it and read its tool list, and it was empty, so it offers an MCP client nothing to call.

### What licence is the DVERA CT verification tools MCP server under?

DVERA CT verification tools declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.

## Links

- Repository: https://github.com/SuresoftTechnologies/dvera-plugin
- Changelog RSS feed: https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver.xml
- Changelog JSON feed: https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver.json
- HTML version of this page: https://verifymcp.io/servers/suresofttechnologies-dvera-mcp/https-github-com-suresofttechnologies-dvera-plugin-releases-download-v0-1-2-dver