← 返回列表
未验证
DeepSeek…
尚未跑自动兼容性验证，可查看页面内的依赖与入口分析。 · 最近上游提交 2026/8/25 · 已提供中文文档
DeepSeek Harness 的三平面概率验证器：分层 logprob/样本/模板评判器、带种子的锦标赛 best-of-N、分层上下文回流。
综合分
27.4
GitHub 分
27.4
用户评分
—
★ Stars
0
周下载量
—
安装插件（需先安装 dsh CLI 引擎：npm install -g @deepseek-ai/dsh）
dsh plugin --profile web add zouyuanqing/dsh-verify-reflux该插件未发布到 npm，走 GitHub 源安装（pnpm 若拦截 prepare 脚本，按其提示在 pnpm-workspace.yaml 的 allowBuilds 中放行后重跑）
信任档位：仅索引本站尚未对其实装验证，仅收录元数据
- 是什么
- dsh 原生插件 · chat
- 装得上吗
- 本站尚未做安装检查
- 安全吗
- 本站尚未对该插件做风险分级（暂未覆盖，不等同于无风险）
- 还在维护吗
- 更新放缓：最近一次提交在 31 天前
档位由下列信号合成：本站实装验证（真实安装，当前最高到 L4）· 验证所用 dsh 版本 · 静态安装检查 · 风险分级 · 仓库维护状态。下方各区块是它的证据明细。 验证判据与等级说明 →
数据截至 2026/9/20（元数据每日更新 · 实装验证按队列轮转，单条结论的验证时间见上方）
依赖的 DSH / Cordis 模块
@deepseek-ai/cordis@deepseek-ai/dsh-llm@deepseek-ai/dsh-system-prompt@deepseek-ai/dsh-tools@deepseek-ai/schemastery用户评分
还没有人投票，来当第一个
订阅周报，不错过优质插件更新
每周一封 · 高评分插件 + 新用户活动
README
由 DeepSeek 最新模型翻译生成dsh-verify-reflux DeepSeek Harness（dsh）的三平面概率验证器插件：让智能体在会话内对自己的候选方案做细粒度概率化验证，验证过程全程留痕但不污染上下文——结论以分层回流块进入对话，完整轨迹落盘可审计。 基于 LLM-as-a-Verifier 框架思想实现，并针对 Harness 场景做了上下文经济学扩展。 三平面架构 | 平面 | 职责 | |---|---| | 执行 | 隐藏补全评分：20 级字母刻度（A=0% … T=100%）+ 置信分布 → 数学期望；种子化链式+枢纽锦标赛 | | 呈现 | 全部原始轨迹写入 /.verifier/traces/，绝不进入模型上下文 | | 上下文 | L1 结论行 + L2 三段式决胜链（带 provenance 的 块） | 判分器阶梯（自动降级） 同一绝对评分接口，按保真度自动选择，失手自动落档并在轨迹记 [degrade]： | 档 | 机制 | 覆盖 | 保真度 | |---|---|---|---| | T1 logprob | 直连端点读真 token 分布（论文原机制） | 配置了支持 logprobs 的端点（实测 DeepSeek 官方 API ✓） | ★★★ | | T2 sample | 会话模型同题采样 6 次，频次+拉普拉斯平滑 → 分布 | 所有 ctx.llm 路由 | ★★ | | T3 template | 单次补全自报众数+置信模板 | 同上（兜底） | ★ | 能力探测一次一缓存；失败的直连端点冷却 1 小时不重试。每个裁决的回流块都带 via="…" 出处徽标。 工具一览 | 工具 | 能力 | |---|---| | verify_select | best-of-N 选优：链式+枢纽锦标赛 O(Nk)，胜者产三段式决胜记录（①决胜约束 ②否决记录 ③险胜边际） | | verify_check | 单方案风险地图：处决测试（最可能的失败模式逐一排查）+ 各标准概率评分 | | verify_track | 进度追踪：检查点 A..T 打分成曲线，连续两点 Δ/cordis.patch.yml 追加： - insert: - id: verify-reflux name: dsh-verify-reflux 重启 dsh web 即生效。 配置判分档位 默认 T2/T3（零配置，用当前会话模型）。要启用论文原机制 T1： - insert: - id: verify-reflux name: dsh-verify-reflux config: verifierBaseUrl: https://api.deepseek.com # 任一支持 logprobs 的 OpenAI 兼容端点 verifierApiKeyEnv: DEEPSEEK_API_KEY # 默认即此；经 ctx.credentials 按操作解析 verifierModel: deepseek-chat 凭证永远只引用环境变量名，不落明文。可选：provider/model 指定会话评分路由（缺省取首个注册路由）。 使用示例 装好后直接在对话里说： 我写了三个候选实现，用 verify_select 按「正确性、安全性」选出最好的， 然后对选中的实现 verify_check 看看风险地图。 回注形态（进入上下文的全部内容）： Best: candidate 1 | score 0.850 vs 0.150; 0 comparisons ① DECISIVE: B guards both failure modes with input validation ② REJECTED: A subtracts instead of adding ③ NEAR-TIE: none 开发与测试 npm install --legacy-peer-deps npm run check # typecheck + build + node --test（33 用例） 设计细节与实证边界见 DESIGN.md。 许可证 MIT