Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-tool-surface-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

dsh-tool-surface-proof

Inhaltsadressierter Nachweis, dass die tatsächlich aufgezeichnete, modellsichtbare Tool-Oberfläche einer DeepSeek-Harness-Bereitstellung weiterhin mit einem genehmigten Lock über Agent-Scopes, Berechtigungsmodi und Präsentationsmodi übereinstimmt.

DeepSeek Harness erzeugt bereits einen offiziellen Standard-Tool-Schema-Katalog, indem es ausgelieferte Tool-Plugins startet. dsh-mcp-lens komprimiert bereits große MCP-Kataloge und bietet Schema-Budget-Prüfungen. Dieses Plugin tut keines von beidem. Es verifiziert bereitstellungsspezifische, explizit aufgezeichnete Envelopes: zum Beispiel, ob eine Owner/Native-Oberfläche und eine Reader/Native-Oberfläche nach einem Upgrade weiterhin exakt die genehmigten Tool-Identitäten und Schemata offenlegen.

Nachweisvertrag

Schema-Version 1 bindet eine exakte Bereitstellungsrevision, Bewertungszeit, Aktualitätsrichtlinie und eine genehmigte Oberfläche pro surfaceId. Jede Oberfläche deklariert agentScope, permissionMode, presentationMode und geordnete {nameHash, schemaHash, position}-Locks. Jede Beobachtung zeichnet dieselben öffentlichen Dimensionen plus die modellsichtbaren Tool-Objekte auf, die von einem separaten vertrauenswürdigen Recorder erfasst wurden.

Der Verifizierer erkennt fehlende oder unerwartete Oberflächen, Scope-/Berechtigungs-/Präsentationsabweichungen, hinzugefügte oder entfernte Tools, Schemaänderungen, optionale Reihenfolgeabweichungen, veraltete/zukünftige Beobachtungen, doppelte Identitäten und Revisionsabweichungen. Berichte enthalten nur SHA-256-Identitäten, Zählungen und Abweichungskategorien. Sie geben niemals Tool-Namen, Beschreibungen, Schemata oder rohe Geschäftsinhalte zurück.

Dieses Plugin erfasst keinen Live-Laufzeitzustand, gewährt oder verweigert keine Berechtigungen, führt keine Befehle aus, verbindet sich nicht mit MCP-Servern und beweist nicht, dass ein Recorder ehrlich war. Verwenden Sie einen vertrauenswürdigen bereitstellungsspezifischen Recorder, um den Beobachtungs-Envelope zu erstellen, und überprüfen Sie das Lock vor der Genehmigung.

Related MCP server: dsh-schema-migration-proof

CLI

dsh-tool-surface-proof inspect --manifest surface.json
dsh-tool-surface-proof verify --workspace-root . --manifest surface.json --artifact-dir artifacts

Die Verifizierung liest eine arbeitsbereichsrelative reguläre Datei, lehnt Symlinks und Traversal ab, führt keine Netzwerkanfragen oder Unterprozesse aus und schreibt nur einen inhaltsadressierten JSON-Bericht unterhalb des expliziten Artefaktverzeichnisses mit exklusiver Erstellung und Rücklese-Verifikation.

DSH und MCP

Das DSH-Bundle stellt dsh_tool_surface_inspect und dsh_tool_surface_verify bereit. Der unabhängige stdio-MCP-Server stellt Inline-Äquivalente ohne Dateisystem bereit. Beide rufen denselben schnittstellenfreien Kern auf.

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/ZhuanZ/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

MIT-lizenziert. Siehe SECURITY.md.

This server cannot be deployed

Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

Maintenance

ActivityMaintained
ResponsivenessNo issues

Resources

Related MCP Connectors

Related MCP Servers

  • mcp-supply-guard

    wwb-bill
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables supply-chain integrity for MCP tools by locking tool-definition hashes after review and detecting added, removed, modified, or risky tool definitions.
    MIT

  • dsh-schema-migration-proof

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Lets users inspect and verify content-addressed schema migration evidence offline, checking idempotence, reversible rollback, required invariants, and explicit lossy-field disclosure without executing migrations or accessing data.
    MIT

  • dsh-duty-separation-proof

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables offline verification that a supplied DSH workflow adhered to declared duty-separation constraints, producing a redacted, content-addressed JSON verdict.
    MIT

  • dsh-vulnerability-remediation

    dongsheng123132
    A
    license
    Not graded
    quality
    C
    maintenance
    Offers proof-only tools to inspect and verify remediation closure receipts, deterministically confirming asset coverage, fixed artifact deployment, rescanning, deadline compliance, and zero-residual closure without executing scans or touching live systems.
    MIT