dsh-verify-reflux

适用于 DeepSeek Harness 的三阶段概率验证器：支持基于 logprob/样本/模板裁判的会话模型评分、多候选 Seed 锦标赛（Best-of-N）及分层上下文回注。

AI 分析

通过多模型裁判和锦标赛机制对智能体生成的多个候选方案进行概率验证与筛选。适合对代码或文本生成的正确性、安全性有极高要求的专业任务。

包名

dsh-verify-reflux

版本

0.1.0

许可证

MIT

配置判分档位

默认 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

dsh-verify-reflux

AI 分析

安装

说明文档

配置判分档位

使用示例