Skip to main content
Glama
deenesjakoruzh
dongsheng123132

dsh-tool-surface-proof

by dongsheng123132
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

dsh-tool-surface-proof

Контентно-адресуемое доказательство того, что фактически записанная видимая модели поверхность инструментов одного развёртывания DeepSeek Harness по-прежнему соответствует утверждённому локу во всех областях действия агента, режимах разрешений и режимах представления.

DeepSeek Harness уже генерирует официальный каталог схем инструментов по умолчанию, загружая поставляемые плагины инструментов. dsh-mcp-lens уже сжимает большие каталоги MCP и предлагает проверки бюджетов схем. Этот плагин не делает ни того, ни другого. Он проверяет специфичные для развёртывания, явно записанные оболочки: например, продолжают ли поверхность owner/native и поверхность reader/native предоставлять ровно утверждённые идентичности и схемы инструментов после обновления.

Контракт доказательства

Схема версии 1 привязывает точную ревизию развёртывания, время оценки, политику свежести и одну утверждённую поверхность на каждый surfaceId. Каждая поверхность объявляет agentScope, permissionMode, presentationMode и упорядоченные локи {nameHash, schemaHash, position}. Каждое наблюдение фиксирует те же публичные измерения плюс захваченные отдельным доверенным регистратором объекты инструментов, видимые модели.

Верификатор обнаруживает отсутствующие или неожиданные поверхности, несоответствие области/разрешения/представления, добавленные или удалённые инструменты, изменения схем, опциональный дрейф порядка, устаревшие/будущие наблюдения, дублирующиеся идентичности и несоответствие ревизии. Отчёты содержат только SHA-256 идентичности, счётчики и категории дрейфа. Они никогда не возвращают имена инструментов, описания, схемы или сырое бизнес-содержимое.

Этот плагин не фиксирует живое состояние рантайма, не предоставляет и не запрещает разрешения, не выполняет команды, не подключается к MCP-серверам и не доказывает, что регистратор был честен. Используйте доверенный регистратор, специфичный для развёртывания, чтобы создать оболочку наблюдения, и проверьте лок перед утверждением.

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

Проверка читает один обычный файл с путём, относительным к рабочему пространству, отклоняет симлинки и попытки обхода каталогов, не выполняет сетевых запросов и не запускает подпроцессы и записывает только один контентно-адресуемый JSON-отчёт внутри явно указанного каталога артефактов с эксклюзивным созданием и проверкой обратного чтения.

DSH и MCP

Комплект DSH предоставляет dsh_tool_surface_inspect и dsh_tool_surface_verify. Независимый stdio MCP-сервер предоставляет встроенные эквиваленты, не требующие файловой системы. Оба вызывают одно и то же ядро без интерфейсов.

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. См. 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