面向 DeepSeek Harness 的证据驱动目标校验插件。通过 /ultragoal 锁定目标,并依据命令退出码与生成产物验证完成状态,防止模型虚报任务完成。
安装
# npm 包(预构建)
dsh plugin --profile web add dsh-gungnir
# GitHub 源码(首次需按提示配置 allowBuilds 构建授权后重试)
dsh plugin --profile web add github:Jonah-Wu23/dsh-gungnir#path:/packages/dsh-plugin
装任何插件都等于在你的机器上跑第三方代码,权限和你本人一样大——能读你的文件、用你的凭据、访问网络,工具审批管不到它。GitHub 来源的插件还会在安装时执行构建脚本——pnpm 默认拦截,所以安装可能停在 ERR_PNPM_GIT_DEP_PREPARE_NOT_ALLOWED 或 ERR_PNPM_IGNORED_BUILDS;dsh 会打印出需要添加的确切键名,把它加进该 profile 的 pnpm-workspace.yaml 的 allowBuilds 下,重跑一次即可装上。放行构建本身就是一次信任判断:请只安装可信来源,并尽量锁定 commit(github:owner/repo#sha)。
README
30 秒了解
Gungnir 是 DeepSeek Harness 的证据驱动目标校验插件。 目标经 /ultragoal 锁定为版本化契约,执行过程中的工具结果自动落入追加式证据账本;模型宣称完成时,退出码、工件与 LLM 评审三级验证器对照证据裁决,证据齐备才放行。
Gungnir 为大语言模型智能体提供面向任务结果的控制面能力:
- Lock the goal(目标锁定):建立版本化目标契约,明确预期交付物和检验标准。
- Prove the hit(证据裁决):模型输出只是待检验的声明,测试退出码与文件状态等环境证据才有裁决权。
- 静默守护与最小介入:正常执行路径保持静默,只有观测到确定性证据冲突时才注入面向任务的明确反馈。
核心特性
| 维度 | 原生智能体执行 | Gungnir 控制面 |
|---|---|---|
| 完成判定 | 依赖模型自我宣称 | 依据环境证据与退出码客观裁决 |
| 假完成拦截 | 容易放行未完成的任务 | 运行时拦截虚假完成并要求修正 |
| 正常任务开销 | 基础开销 | 保持静默,Token 额外开销仅 +7.8% |
| 控制面额外交互 | 无 | 正常路径零额外模型往返 |
架构设计
Gungnir 采用分层解耦的插件化架构,全面适配 DeepSeek Harness 生态:
┌─────────────────────────────────────────────┐
│ Gungnir Goal Contract │ 目标锁定:定义任务交付物与验证规则
├─────────────────────────────────────────────┤
│ Gungnir Evidence / Verifier / Reconciler │ 证据裁决:收集环境事实,静默验证并按需介入
├─────────────────────────────────────────────┤
│ DSH Agent Contract / Session Log / Services │ 基础平台:提供会话与工具交互能力
└─────────────────────────────────────────────┘
控制流程
- 环境监听:在智能体调用工具的过程中,被动收集命令退出码与生成文件状态。
- 契约校验:当智能体发出完成任务的声明时,系统基于已捕获的环境证据执行确定性验证。
- 精准反馈:若验证通过,系统保持静默放行;若存在未满足的检验条件,系统注入简明的客观事实反馈,引导模型完成修复。
实验评测
Gungnir 建立了标准化的评测基准,并在 54 组真实环境运行中完成了多模型对比实验。
| 评测场景 | 具体用例 | 原生执行 (E0) | Gungnir 控制面 (E2) |
|---|---|---|---|
| 虚假完成拦截 | CLI 任务重试场景 | 0% (0/2) | 100% (2/2) |
| 语义缺陷修复 | 状态重入场景 (Ledgerd) | 0% (0/2) | 100% (2/2) |
| 验证错配修复 | 消息中继场景 (RelayPump) | 50% (1/2) | 100% (2/2) |
| 标准开发任务 | 常规开发基准 (H1) | 100% (6/6) | 100% (6/6) |
| 模型类型 | 虚假完成拦截率 | 语义缺陷修复率 | 标准任务通行率 |
|---|---|---|---|
| DeepSeek 系列 | 100% | 100% | 100% |
| GPT 系列 | 100% | 100% | 100% |
| GLM 系列 | 100% | 100% | 100% |
| 评测指标 | 原生执行 | Gungnir 控制面 | 控制面开销增量 |
|---|---|---|---|
| 中位 Token 消耗 | 24,151 | 26,025 | +7.8% |
| 中位模型交互轮次 | 12.0 轮 | 12.0 轮 | 0 轮 |
| 任务执行超时率 | 3.7% | 0.0% | -3.7% |
快速上手
兼容性:插件以 dsh v0.1.2-rc.1 为基线,peerDependencies 锁定实测版本。
安装
在 DeepSeek Harness 中执行安装命令:
dsh plugin add dsh-gungnir
配置
插件装载后自动注册 /ultragoal 与 /gungnir 命令及模型侧工具。需要调整时,在配置文件中覆盖插件参数:
plugins:
- name: dsh-gungnir
config:
maxGoalRounds: 64
常用配置项:maxGoalRounds(目标轮次上限)、rubricProvider / rubricModel(LLM 评审模型)、passive(被动观察形态)。
参与项目
欢迎提交 Issue 与 Pull Request。提交修改前请在本地运行测试:
pnpm -r typecheck
pnpm -r test
许可协议
本项目采用 Apache License 2.0 开源许可协议。版权所有 © 2026 Zonghe Wu。
链接
同类插件
Clearailhc/clearai-dsh★ 1104
以证据为准的研究用智能体预设:每一步只能靠系统核验过的观测推进,L3 以上的结论交给独立评估者,整场会话折成一份可重放的账本,并长成可浏览的领域本体。需要 DSH >=0.1.7-alpha.1。
FuRongJun-1999/dsh-memory★ 413
白箱AGI架构探索:元认知(自我认知循环)、持续学习(知识飞轮)、世界模型(条件空间+语义时空图)、自我改进(自举纪律)、零LLM白箱管线与可审计信任护栏。
pk14742952-AD/dsh-host-rsi★ 33
面向本地 Qwen3.8 27B/3.8 Flash 及线上 API 的反思进化插件:编码循环收敛器针对 Qwen3.8 27B/Flash 的重复验证大思考加速收敛、减少思考时间;五态交付护栏检测并纠正卡住/死循环;model-agnostic 宿主逻辑,线上 API 多数可通用;每次使用持续自进化,带反问式自检、批评升级、倒排索引记忆检索、编码循环收敛提示与五态交付护栏。
kenz1117/dsh-engram★ 22
跨会话长期记忆插件,以「记忆宫殿」隐喻重构 agent 长期记忆:双层 SQLite 分库(用户级 + 按 git origin 隔离的项目级)、FTS5 + 本地向量 RRF 融合与新鲜度/命中排序 boost、从会话日志自动摄取(含末轮)、来源审计链、巩固蒸馏与衰减遗忘,以及设置页「记忆库」面板(走廊拓扑、导览管家、翻新清单)。
MichengAI/dsh-pua★ 21
提供 /pua,在 Agent 失败后促使其换方法,并在宣称完成前核验收据;含 15 种公司风格、角色模式、全局与会话设置,以及可选验收循环(直到验收命令通过、达到迭代上限或用户取消)。
Kanadego/dsh-heartbeat★ 15
心跳循环:默认每 20 分钟自己醒一次——维护一份关于你兴趣与偏好的本地画像,按你设的兴趣范围上网搜新东西并存下来。攒到值得分享的内容,就向你绑定的会话送一份简短的素材包。能不能开口由代码里的规则决定(静默时段、忙时窗口、每日上限、冷却),说不说由那个会话里的 agent 自己判断。仅支持 Windows。
社区评论
评论公开保存在 GitHub Discussions。加载评论会连接 GitHub 和 Giscus;发表内容需要 GitHub 账号。