Ontwikkeling · Lokale MCP-server
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.SuresoftTechnologies/dvera-mcp- Versie
- 0.1.4
- Status
- Actief
- Categorie
- ontwikkeling
- Transport
- stdio (lokaal proces)
- Pakket
- MCP Bundle (.mcpb)
- Gepubliceerd
- 22 september 2026
- Bijgewerkt
- 22 september 2026
- Uitgever
- SuresoftTechnologies (GitHub)
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/SuresoftTechnologies) · hoe
- Repository
- github.com/SuresoftTechnologies/dvera-plugin
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbSHA-256-checksum vermeld | - | stdio |
Zo verbind je DVERA CT verification tools
DVERA CT verification tools draait lokaal vanuit een MCP Bundle: één downloadbaar archief met een lokale server en een manifest dat die beschrijft: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist een client die MCP Bundles installeert; het bestand wordt in die client geopend of eraan toegevoegd.
Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer servers in de categorie ontwikkeling
| Server | Draait |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | Lokaal · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | Lokaal · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | Lokaal · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Lokaal · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | Extern · HTTPLivecontrole: inloggen vereist |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Lokaal · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | Lokaal · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | Extern · HTTPLivecontrole: ✓ handshake |