Développement · Serveur MCP local
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.SuresoftTechnologies/dvera-mcp- Version
- 0.1.4
- Statut
- Actif
- Catégorie
- développement
- Transport
- stdio (processus local)
- Paquet
- MCP Bundle (.mcpb)
- Publié
- 22 septembre 2026
- Mis à jour
- 22 septembre 2026
- Éditeur
- SuresoftTechnologies (GitHub)
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/SuresoftTechnologies) · comment
- Dépôt
- github.com/SuresoftTechnologies/dvera-plugin
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
Comment connecter DVERA CT verification tools
DVERA CT verification tools s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | Local · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | Local · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | Local · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Local · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | Distant · HTTPVérification en direct : connexion requise |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Local · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | Local · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | Distant · HTTPVérification en direct : ✓ poignée de main |