DeepSeek Harness 插件Manifest 有效

dsh-proof

面向 DeepSeek Harness 的证据驱动完工证明与回归归因插件。

UI 与效率终端与 TUI开发者工具安全与策略Skills 与工作流远程执行

0GitHub Stars0Fork 数更新于2026-10-06

源码

安装

$ dsh plugin --profile web add dsh-proof # from a registry

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

dsh-proof 将智能体的“我已完成”自述转化为可重新计算的密码学证据链。作为 DeepSeek Harness 插件、MCP 服务端和宿主适配层，它记录客观的验证执行结果，利用 Ed25519 签名锚定检查点，比对基线状态评估类型化契约，并在代码修改过程中实时归因退化与回归问题。

核心能力

将检查执行结果记录为仅追加、内容寻址的哈希证据链（遵循 APP/1.4 规范）
为 DeepSeek Harness 提供 proof_status、proof_verify、proof_claim 等 9 个面向模型的工具
基于贝叶斯模型按信息增益/毫秒对检查项排序执行
基于基线 Merkle 树在代码编辑过程中实时归因回归故障
执行结构化完工契约（行为保持、功能新增、性能预算、仅文档、大模型陪审等）
支持多智能体责任网格委托与透明检查点日志验证

适用场景

验证智能体的代码改动是否真正通过校验，而非信任模型自述
在提交或合并前精准归因由于代码改动导致的关联测试失败
为自主智能体任务构建带带外签名的防篡改审计与完工证据链
将经过验证的完整执行轨迹提炼为智能体微调与评测数据集

适合谁

DeepSeek Harness 开发者与运维人员
自主代码生成智能体平台工程师
需要严格验证标准、审计账本与防回归保障的工程团队

文档中可确认的限制

静态检查发现不提供进程沙箱隔离，测试由项目自身环境执行
在最新的签名检查点之后追加的尾部记录仅依靠哈希链保护，直到触发下一次检查点更新
锚点检查依赖宿主侧私钥与文件，跨机器迁移若无锚点将跳过回滚防御
未签名的链安全性受限于宿主文件系统本身的访问控制

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 1 个运行依赖、3 个开发依赖、2 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

检测到 prepare 脚本

package.json 声明了 prepare 生命周期脚本，在相关安装流程中可能执行。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: beijingwahw/dsh-proof
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin
源码检查: fff9fe8 · 2026-10-18

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 0GitHub stars
Fork 数: 0
未关闭 Issue: 0
最近提交: 2026-10-06
最近发布: 未发现 Release