פיתוח · שרת MCP מקומי
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.SuresoftTechnologies/dvera-mcp- גרסה
- 0.1.4
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- stdio (תהליך מקומי)
- חבילה
- MCP Bundle (.mcpb)
- פורסם
- 22 בספטמבר 2026
- עודכן
- 22 בספטמבר 2026
- מפרסם
- SuresoftTechnologies (GitHub)
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/SuresoftTechnologies) · איך
- מאגר קוד
- github.com/SuresoftTechnologies/dvera-plugin
- מקור
- הרשומה ב-API של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbצוין סכום בדיקה SHA-256 | - | stdio |
איך מחברים את DVERA CT verification tools
DVERA CT verification tools רץ באופן מקומי מתוך MCP Bundle: ארכיון יחיד להורדה שמכיל שרת מקומי ומניפסט שמתאר אותו: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך לקוח שמתקין MCP Bundles; את הקובץ פותחים בלקוח הזה או מוסיפים אליו.
נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | מקומי · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | מקומי · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | מקומי · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | מקומי · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | מקומי · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | מקומי · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |