Entwicklung · Lokaler MCP-Server
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Was die MCP Registry angibt
Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.
- Registry-Name
io.github.SuresoftTechnologies/dvera-mcp- Version
- 0.1.4
- Status
- Aktiv
- Kategorie
- Entwicklung
- Transport
- stdio (lokaler Prozess)
- Paket
- MCP Bundle (.mcpb)
- Veröffentlicht
- 22. September 2026
- Aktualisiert
- 22. September 2026
- Herausgeber
- SuresoftTechnologies (GitHub)
- Namensraum
- Namensraum von der MCP Registry über GitHub verifiziert (github.com/SuresoftTechnologies) · So wird verifiziert
- Repository
- github.com/SuresoftTechnologies/dvera-plugin
- Quelle
- Eintrag in der Registry-API
Pakete
| Registry | Paket | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbSHA-256-Prüfsumme angegeben | - | stdio |
So verbinden Sie DVERA CT verification tools
DVERA CT verification tools wird lokal ausgeführt, und zwar aus einem MCP Bundle, also einem einzelnen herunterladbaren Archiv mit einem lokalen Server und einem Manifest, das ihn beschreibt: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird ein Client, der MCP Bundles installiert; die Datei wird in diesem Client geöffnet oder ihm hinzugefügt.
Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden
Weitere Server der Kategorie Entwicklung
| Server | Ausführung |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | Lokal · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | Lokal · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | Lokal · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Lokal · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Lokal · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | Lokal · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | Remote · HTTPLive-Prüfung: ✓ Handshake |