dsh-plugin-verify：DeepSeek Harness 智能体的证据核查工具包

在 DeepSeek Harness (DSH) 的工作流中，智能体经常需要对文件内容、配置文件或远程资源做出断言。手动验证这些断言既耗时又容易出错。dsh-plugin-verify 提供了一套基于证据的核查工具，用于检查声明、验证配置并探测网络状态。

这是一个工作流插件，由 863683348 维护。它旨在解决智能体无法可靠地核实自身行为或环境状态的问题。

核心能力¶

插件提供以下几种核查模式：

证据检查：针对工作区文件进行关键词提取，并提供行级引用。结果分为 verified（已验证）、partial（部分）或 unsupported（未找到证据）。
配置验证：对配置文件进行校验。支持 JSON 的严格解析和 YAML 的结构化烟雾测试（检查引号、括号、缩进）。
HTTP URL 检查：探测 HTTP(S) 资源的可用性，包括状态码、重定向目标及延迟。
NPM 包检查：检查 NPM 包是否存在、最新版本、manifest 信息及发布时间。
GitHub 仓库检查：检查 GitHub 仓库是否存在、年龄、是否包含 dsh-plugin 主题以及提交计数。
批量检查：支持并发运行多种检查（声明、配置、URL、包、仓库），并输出包含置信度评分的汇总表格。

插件提供了一系列命令行工具，以下是一些典型用法：

核查文件中的声明

verify claim "the plugin pins zod in dependencies"
verify claim "this repo has 12 commits" scope ./some-dir

验证配置文件

verify config ./cordis.patch.yml

检查远程资源

verify url https://example.com
verify npm dsh-plugin-focus
verify repo 863683348/dsh-plugin-gate

批量执行检查

verify batch claims:["the plugin pins zod"] urls:["https://example.com"] packages:["dsh-plugin-focus"]

只读操作：插件不会写入文件，也不会执行被扫描的内容。
声明检查是启发式的：这并非数学证明，而是基于关键词的证据查找。unsupported 状态表示未找到证据，视为未确认。
YAML 检查局限：YAML 检查仅是结构性的烟雾测试，不包含完整的 YAML 解析器逻辑。
兼容性：工具模式在插件加载时根据 @deepseek-ai/dsh-tools value-schema DSL 进行验证。早期版本曾存在 JSON Schema 兼容性问题（如 schema.required 不被支持），修复后可防止 DSH 进程崩溃。如果受影响的版本导致 DSH 无法启动，请移除插件或升级。

dsh-plugin-verify 适合需要在 DSH 工作流中自动化进行代码审计、配置校验和资源探测的场景。作为只读工具，它可以在不改变文件系统状态的前提下，为智能体提供客观的检查结果。