dsh-plugin-verified-search:带边界与可审计证据的联网查证工作流

前言

在 DeepSeek Harness(DSH)里给智能体挂上 web_search 时,常见问题不是「搜不到」,而是结果难以核对:哪些来源被采纳、摘录依据是什么、查不到时有没有被模型用记忆补上。社区插件 dsh-plugin-verified-search 由维护者 Chih-Kai-Wang 发布,分类为工作流;仓库简介为「Verified current-source search workflow for DeepSeek Harness」。它以有边界的工作流替换智能体继承的 web_search,把范围内来源、保留的证据、JSON 取值路径以及仍未回答的问题都留在会话里可见。插件可作为 deepseek-harness Discussion #332 的可安装配套,并挂载 Discussion #344 中讨论的时间上下文。

需要事先对齐预期:插件会检查工作流与结构化来源是否满足声明条件,不证明发布方在说真话,也不能保证上游搜索索引一定是最新的。资料中写明,尚无第三方独立校验;证据来自仓库内确定性测试、CI、包可复现检查与维护者执行的 conformance 运行。

这是什么

dsh-plugin-verified-search 是 DSH 的 Cordis 插件(MIT 许可证)。稳定轨面向模型的工具为 verified_search;实验快照还提供 verified_research、verified_json_selection 等另外四种工具(仅见于固定 commit,见下文「发行状态」)。

架构上,每个工作流限定可查范围,对返回的结构化来源做本地过滤,区分「保留的引文摘录」与「证据缺口」,避免在无摘录支撑时把标题或 URL 升格为已验证结论。

核心功能

面向单次、较窄的可变事实查询。行为要点(来自 README quickstart):

  • 上游发送原生提供方的域名允许列表(allowed_domains)。
  • 结构化来源在本地再按主机名或子域名精确过滤。
  • 带凭据的 URL、敏感或用于追踪的 URL 部分会在结果进入会话前被拒绝或剥离。
  • 仅有标题或 URL、没有保留的引文摘录时,不提升为已验证证据。
  • 证据缺口保持可见,不用旧答案或记忆填补。

实验轨的五类工具(快照专用)

工具 用途 边界结果(README 摘要)
verified_search 单次窄查询 结构化来源主机名后滤、可见的引文缺口
verified_research 多实体或多主张研究 按主张保留摘录、检索元数据、内容哈希、未解主张
verified_json_selection 官方 JSON 馈送的最新/截至日选取 RFC 6901 遍历、日期截止、最大日期、并列终局
verified_json_numeric_extrema JSON 中精确数值极值 源词素比较、IEEE-754 无损、并列终局
verified_json_projection 源顺序下严格匹配的 JSON 行 有界父子/嵌套投影、可审计指针修复

仅 verified_search 属于稳定标签 v0.1.1;其余四种仅在固定实验快照中提供。

与生态及其他插件

  • 可与 dsh-web 生态包(如 @linxin666/dsh-web-all、dsh-deepseek-girl-pet)共用同一 web profile;资料描述与官方 @deepseek-ai/cordis-plugin-include 组合后无重复 id、无缺失行、无警告,且生态包未注册 web_search、未挂载 time-context,HTTP 路由不冲突。
  • 若部署已挂载 Discussion #344 的 time-context,启动前设置 DSH_VERIFIED_SEARCH_DISABLE_TIME_CONTEXT=1,避免两个时钟注入器同时运行。

发行状态与依赖

轨道 安装引用 面向模型的工具
Stable v0.1.1 verified_search
Experimental snapshot c29b531a6c2e52200d454aa9ded42214ba8c0014 上述五种工具
Moving main main 未发布开发版,勿无 pin 安装

前提条件(README):

  • DeepSeek Harness 0.1.1-rc.2 与 Cordis 4.0.1;官方 0.1.2-alpha.1 在源码层面已审阅且对本插件所用表面无破坏性变更。
  • Node.js 22.19.x 或 24.x。
  • 通过 Harness 凭证服务或启动环境提供 DEEPSEEK_API_KEY。
  • 使用已具备搜索能力的 preset;插件不会给内置 minimal preset 增加搜索能力。
  • CI 覆盖 Ubuntu 与 Windows;macOS 当前不在支持合约内。

变更 Harness、Cordis、Node 或包管理器版本前,应阅读仓库内 COMPATIBILITY.md。

安装与启用

下面以稳定版为例。官方命令使用 web profile,并在添加插件后导出配置再启动 dsh web。

dsh plugin --profile web add github:Chih-Kai-Wang/dsh-plugin-verified-search#v0.1.1
dsh --profile web --dump-config
dsh web

发布 commit 预置 lib/ 产物,固定 Git 引用安装时不会在本地跑本仓库开发工具链。

若需评估五工具实验快照(仅开发/评测,可复现测试勿改用 moving main):

dsh plugin --profile web add github:Chih-Kai-Wang/dsh-plugin-verified-search#c29b531a6c2e52200d454aa9ded42214ba8c0014
dsh --profile web --dump-config
dsh web

回滚:

dsh plugin --profile web remove dsh-plugin-verified-search
dsh web

插件以当前 DSH 进程权限运行;安装前请自行审阅源码与 LICENSE。社区目录 SkillHub 插件页 与 GitHub 仓库相互独立索引,与 DeepSeek / 幻方无官方从属关系。

典型用法

窄查询 + 域名限制

向已具备搜索能力的智能体提出带绝对日期的窄问题,并限定来源站点。README 示例意图:在 api-docs.deepseek.com 上查证截至某日的旗舰 API 模型;若保留来源中无承载答案的摘录,应报告未解决而非用记忆填补。

对应的 verified_search 参数示例:

{
  "query": "DeepSeek current flagship API model as of 2026-08-14",
  "allowed_domains": ["api-docs.deepseek.com"]
}

说明:allowed_domains 约束的是返回的结构化来源的主机名,不是网络出口或隐私边界。若需要独立来源对比,应另起一次无域名限制的查询。

多主张研究(实验工具)

实验轨 verified_research 可使用多 lane、required_claims、seed_urls 等字段。README 给出复合研究 JSON 骨架(节选字段:lanes、allowed_domains、evidence_must_include、gap_query)。稳定 v0.1.1 安装不包含该工具,仅在对实验 commit 安装时可用。

适用场景与注意

适合:

  • 需要在 DSH 工作流里把「查证」和「缺口」分开呈现的团队或个人。
  • 希望用域名后滤、敏感 URL 剥离、引文摘录门槛约束模型行为的场景。
  • 已在 web profile 使用其他搜索相关插件、需要按文档合并 patch 的部署。

注意:

  • 不要把 allowlist 当成 egress 防火墙;它只过滤结构化来源的主机名。
  • 实验快照通过 250 项测试与 42 例冻结离线语料(2026-08-16 时最后绿色 main 快照,README 记载),仍应视作评测轨,生产优先 v0.1.1。
  • 仓库 package.json 当前开发版本号为 0.3.0-experiment.0;用户安装应以 README 中的 Git 标签或 commit 为准,而非假设 npm 语义版本与稳定轨一致。

结尾

dsh-plugin-verified-search 把 DSH 里常见的联网查证收成可检查的工作流:来源在范围内、证据有摘录、缺口不自动填平。若你正在搭建「一切皆插件」的 Harness 环境,可从稳定轨 verified_search 起步,再按需评估实验快照中的扩展工具。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

小夜