Sviluppo · Server MCP locale
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.SuresoftTechnologies/dvera-mcp- Versione
- 0.1.4
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- stdio (processo locale)
- Pacchetto
- MCP Bundle (.mcpb)
- Pubblicato
- 22 settembre 2026
- Aggiornato
- 22 settembre 2026
- Editore
- SuresoftTechnologies (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/SuresoftTechnologies) · come funziona
- Repository
- github.com/SuresoftTechnologies/dvera-plugin
- Fonte
- Voce nell’API del registro
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbChecksum SHA-256 indicato | - | stdio |
Come collegare DVERA CT verification tools
DVERA CT verification tools viene eseguito in locale a partire da un MCP Bundle: un unico archivio scaricabile che contiene un server locale e un manifest che lo descrive: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede un client in grado di installare gli MCP Bundle; il file va aperto in quel client o aggiunto a esso.
Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | Locale · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | Locale · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | Locale · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Locale · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | Remoto · HTTPVerifica live: accesso richiesto |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Locale · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | Locale · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | Remoto · HTTPVerifica live: ✓ handshake |