dsh-release-proof
by dongsheng123132
DeepSeek Harness 的可复现多源发布证据
Reproducible multi-source release evidence for DeepSeek Harness.
安装
dsh plugin --profile web add github:dongsheng123132/dsh-release-proofGitHub 源码安装:首次需按提示配置 allowBuilds 构建授权后重试
安装与环境配置指引、插件开发教程见 DSH 中文社区文档 ↗
安装即在你的机器上以你的权限运行第三方代码——它可读写文件、使用凭据、访问网络,DSH 的工具审批不会为插件代码加沙箱。「检测到 manifest」仅代表发现 dsh.bundle / dsh.plugin 清单,不构成兼容性或安全审查;安装前请审阅源码,不熟悉的插件先在不含密钥的环境试用。
README
为 DeepSeek Harness 提供可复现的多源发布证据。
它解决的不是“代码有没有构建成功”,而是“多个下载入口此刻给用户的是否真是同一个版本”。插件读取显式 release manifest,并发下载各镜像,核对 HTTP 状态、响应声明长度、实际字节数、SHA-256 与版本,最后写出内容寻址的 JSON 证据包。
0.2.0 同时是正式 Codex 插件和独立 MCP server,并采用真实 DSH Web Loader 所要求的命名空间导出形态;仓库内有真实 Cordis 启动回归,防止这一加载契约再次漂移。
本工具证明的是“下载传输与多镜像是否和清单声明一致”。它不证明发布者身份,也不验证签名发布证明;威胁模型包含这些要求时,应配合签名/来源验证器使用。
安全边界
- 只允许匿名 HTTP(S):拒绝认证字段、自定义请求头、Cookie、URL 查询串和片段。
- 请求有明确超时、重定向上限和响应体上限。
- 工作池把总并发限制在 1–16。
- 每个制品必须声明期望版本、字节数、SHA-256,并至少提供两个下载源。
- 只向显式的、工作区相对路径
artifactDir写入;拒绝目录穿越与符号链接逃逸。 - 证据文件内容寻址、独占写入,并在落盘后回读校验 SHA-256。
- 证据不包含时间戳和耗时;相同网络事实会生成字节完全相同的 JSON。
安装到 DSH
dsh plugin --profile web add github:dongsheng123132/dsh-release-proof
DSH bundle 注册两个工具:
dsh_release_proof_inspect:检查清单并返回不含 URL 的摘要。dsh_release_proof_verify:验证全部下载源并写入证据包。
参数示例:
{
"manifestPath": "release/release-manifest.json",
"artifactDir": "release/evidence"
}
MCP
.mcp.json 还声明了独立 stdio MCP server:
release_manifest_inspectrelease_verify
MCP 只接收最大 1 MiB 的显式内联 manifestJson,不读写文件系统。联网仍然是匿名 HTTP(S),并受清单中的超时、并发、重定向和响应字节上限约束;返回的确定性内容寻址描述可由调用方重新计算验证。
命令行
dsh-release-proof inspect --root D:/project --manifest release/release-manifest.json
dsh-release-proof verify --root D:/project --manifest release/release-manifest.json --artifact-dir release/evidence
退出码:0 表示所有校验通过;2 表示证据已成功写出,但发布一致性校验未通过;1 表示清单或运行错误。
版本证据
下载源可从制品响应头读取版本:
{ "kind": "header", "name": "x-release-version" }
也可从匿名 JSON 版本文件读取:
{ "kind": "json", "url": "https://downloads.example.com/version.json", "field": "release.version" }
完整格式见 examples/release-manifest.example.json。
开发验证
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 .
要求 Node.js 22+。包内没有安装生命周期脚本,运行依赖只有可选的 DSH tools SDK peer。
许可证
MIT
原始 README: https://github.com/dongsheng123132/dsh-release-proof/blob/main/README.zh-CN.md ↗
同类插件
查看全部 →
k8e
k8e.sh — 开源 Agentic AI 沙箱矩阵

hol-guard
开源AI代理防病毒:运行时拦截风险工具、秘密访问、提示注入、恶意软件包、MCP服务器、插件和技能。

anolisa
ANOLISA(Agentic Nexus Operating Layer & Interface System Architecture):具备运行时、安全性、可观测性和 Tokenless 响应压缩能力的 Agentic OS,可降低 Token 使用量与成本。

mobius
首个自我演进的开源 Agent OS:连接你的团队、AI agent、设备与算力

deepseek-harness-desktop
DeepSeek Harness Tauri 桌面版 | Only 5mb installer, zero environment setup. Windows / macOS / Linux.

open-managed-agents
开源Claude管理代理API实现和自托管Claude标签式代理运行时。即插即用;在Cloudflare Workers/Durable Objects或Node.js上运行。Apache 2.0。