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