Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-tool-surface-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

dsh-tool-surface-proof

Evidencia direccionada por contenido de que la superficie de herramientas real visible por el modelo de una implementación de DeepSeek Harness sigue coincidiendo con un bloqueo aprobado en todos los ámbitos de agente, modos de permiso y modos de presentación.

DeepSeek Harness ya genera un Catálogo de Esquema de Herramientas predeterminado oficial al iniciar los plugins de herramientas incluidos. dsh-mcp-lens ya comprime catálogos MCP grandes y ofrece comprobaciones de presupuesto de esquema. Este plugin no hace ninguna de las dos cosas. Verifica envoltorios explícitamente registrados y específicos de la implementación: por ejemplo, si una superficie de propietario/nativa y una superficie de lector/nativa siguen exponiendo exactamente las identidades y esquemas de herramientas aprobados después de una actualización.

Contrato de evidencia

La versión 1 del esquema vincula una revisión exacta de la implementación, el tiempo de evaluación, la política de frescura y una superficie aprobada por surfaceId. Cada superficie declara agentScope, permissionMode, presentationMode y bloqueos ordenados {nameHash, schemaHash, position}. Cada observación registra las mismas dimensiones públicas más los objetos de herramienta visibles por el modelo capturados por un registrador de confianza separado.

El verificador detecta superficies faltantes o inesperadas, desajustes de ámbito/permiso/presentación, herramientas añadidas o eliminadas, cambios de esquema, deriva de orden opcional, observaciones obsoletas/futuras, identidades duplicadas y desajuste de revisión. Los informes contienen solo identidades SHA-256, recuentos y categorías de deriva. Nunca devuelven nombres de herramientas, descripciones, esquemas ni contenido comercial sin procesar.

Este plugin no captura el estado de ejecución en vivo, no concede ni deniega permisos, no ejecuta comandos, no se conecta a servidores MCP ni demuestra que un registrador fue honesto. Use un registrador de confianza específico de la implementación para crear el envoltorio de observación y revise el bloqueo antes de la aprobación.

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

La verificación lee un archivo regular relativo al espacio de trabajo, rechaza enlaces simbólicos y traversal, no realiza solicitudes de red ni subprocesos, y escribe solo un informe JSON direccionado por contenido debajo del directorio de artefactos explícito con creación exclusiva y verificación de lectura posterior.

DSH y MCP

El paquete DSH expone dsh_tool_surface_inspect y dsh_tool_surface_verify. El servidor MCP stdio independiente expone equivalentes en línea, sin sistema de archivos. Ambos llaman al mismo núcleo sin interfaz.

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 .

Con licencia MIT. Consulte 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