DSH LongRun Suite — DeepSeek Harness 长期任务套件

一个仓库装齐：长期自主任务管理器（mission-control）+ 长跑主持人预设（Long-Run Captain）+ 严格审查修正的 LLM 验证器 + 自主定时唤醒（timer scheduler）。克隆即用。

English README

这个仓库解决什么问题

DSH 原生的 goal / todo / subagent 适合短任务，但做长期困难任务时会有这些问题：

任务列表规划一次就死：方向失败后不会自动换思路、重规划、追加新任务；
失败即停：验证不通过经常直接停掉，而不是修 gap、换方向继续；
中间需要人唤醒/引导：长实验期间 agent 不会自己定时回来检查结果；
完成标准太松：任务列表空了就算完成，没人逐条核验最终目标；
大量子 agent 拖慢 DSH：continuable 子会话被频繁扫描，内存/CPU 占用高。

本套件用 Mission 状态文件 + 极小任务状态内核 + 数据驱动验证计划 + 严格独立评审 + 失败强制 replan + 自主定时唤醒 解决以上问题，并且不硬编码任何领域流程：

模型优化、数学研究、项目开发都是同一套框架；
每个任务开工前由主持人生成自己的 verificationPlan；
只有证据 + 独立评审通过才算 accepted；
最终完成必须逐条映射 success criteria，并经过 final audit。

组件

组件	路径	作用
dsh-mission-control	`packages/dsh-mission-control/`	mission 状态机 + `mission_*` 工具 + 元校验器
Long-Run Captain 预设	`preset/long-run-captain/`	主持人 persona + 协议技能（联网调研、自适应验证、苏格拉底自查、LLM verifier 用法）
dsh-plugin-llm-verifier	`packages/dsh-plugin-llm-verifier/`	参考 LLM-as-a-Verifier 论文与上游 DSH 插件、经过更严格审查修正的 LLM 验证器：`verify_rollout` / `verify_select` / `verify_compare` / `verify_track`
dsh-timer-scheduler-ui	`packages/dsh-timer-scheduler-ui/`	`schedule_reminder` 自主定时唤醒 + 右下角倒计时面板

快速开始

在 Long-Run Captain 会话里直接说：

启动一个 mission：尝试证明或证伪 Erdős–Straus 猜想。
termination_policy: success
budget: { maxRounds: 12, maxHours: 16 }
成功标准：
- 给出完整证明，或给出严格验证的反例
- 对 n  `dsh-plugin-llm-verifier` 默认使用 `provider: deepseek-official` + `model: deepseek-v4-pro`。如果你的模型路由不同，改 profile 的 `cordis.patch.yml` 中 `llm-verifier` 行的 `provider` / `model`，或者改本仓库 `packages/dsh-plugin-llm-verifier/cordis.patch.yml` 后重新安装。

## 已知边界

- DSH 流式接口不暴露 logprobs，所以 LLM verifier 用温度采样平均近似论文的 logits 期望；
- `schedule_reminder` 目前只在 session live 时唤醒；跨重启冷恢复是后续方向；
- 独立评审是流程约束，不是沙箱隔离。

## 致谢

- 验证器部分参考 [LLM-as-a-Verifier](https://github.com/llm-as-a-verifier/llm-as-a-verifier) 论文与 [dsh-plugin-llm-verifier](https://github.com/uson1x/dsh-plugin-llm-verifier)，并做了更严格的审查与修正
- 定时唤醒基于 [dsh-timer-scheduler](https://github.com/GMH13552/dsh-timer-scheduler)

## License

MIT

dsh-longrun-suite

安装

说明文档

DSH LongRun Suite — DeepSeek Harness 长期任务套件

这个仓库解决什么问题

组件

快速开始