math-research-dsh：面向长期数学研究的 DSH 技能包

DSH（DeepSeek Harness）的理念是“一切皆插件”。在数学研究领域，维护研究状态、阅读文献、积累工具经验以及进行形式化验证往往需要繁琐的配置。math-research-dsh 将父插件 math-research 单向适配为四个可独立使用的 skill，旨在帮助研究者通过 DSH 环境完成文献阅读、经验积累、任务续接以及 Lean 验证。

功能概览¶

该插件将研究流程拆解为四个核心能力，研究者或 Agent 可根据具体问题选择对应的入口：

math-research-workflow
- 选择研究工具，维护当前进展。
- 续接会话与实际任务。
manage-math-research-program
- 阅读文献，管理工具卡与批注。
- 比较经验，维护人可编辑的理解页面。
- 管理 Blueprint 中已接受的知识。
rigorous-open-math-research
- 发展证明或反例。
- 解释成功与失败的研究路线。
- 按问题需要审计论证。
lean-verify
- 提供编译反馈。
- 精确目标与传递公理检查。
- 进行语义复核和生成可复现证据。

安装与启用¶

安装有两种方式，二选一即可。

1. Bundle 安装（推荐）¶

使用 DSH 的插件注册功能直接安装 Bundle：

dsh plugin --profile web add github:xsoc1/math-research-dsh

此命令会注册包内的 package.json、cordis.patch.yml 和 index.mjs，DSH 将使用 FileSystemSkillProvider 加载技能。

2. 本地开发与 Junction 安装¶

如果需要进行本地调试，可以在本地克隆仓库并运行安装脚本：

if($env:DSH_HOME)
{
    $DshHomePath = $env::DSH_HOME
}
else
{
    $DshHomePath = Join-Path $HOME '.dsh'
}
$DshRepoPath = Join-Path $DshHomePath 'math-research-dsh'
git clone https://github.com/xsoc1/math-research-dsh.git $DshRepoPath
powershell -ExecutionPolicy Bypass -File (Join-Path $DshRepoPath 'install.ps1')
python (Join-Path $DshRepoPath 'scripts/dsh-doctor.py')

install.ps1 会将四个目录链接到用户技能根目录。普通目录副本的替换需要显式选择 -Force 参数。

典型用法¶

安装完成后，通过 DSH 的 skill 工具加载具体技能：

dsh skill math-research-workflow

在用户消息首行也可以使用 /skill-name 语法直接激活特定技能。

架构与维护¶

该仓库的设计遵循单向同步原则：

父仓库是唯一内容源：math-research 父插件中的研究方法和数学实现是唯一的内容来源。
适配层：本仓库只维护 DSH 加载方式、布局映射、打包和测试适配。
同步流程：上游变更需先进入父仓库，然后通过脚本重放。同步器会复制四个 skill，合并 scripts/ 和 assets/，并将 runtime/ 放到对应 skill 根。

维护时，建议执行以下检查命令：

python scripts/sync-from-parent.py --upstream <clean-parent-clone> --expect-commit <full-parent-commit> --check
python scripts/validate_all.py .
python scripts/dsh-check-bundle.py

测试¶

项目保留了 21 个根 smoke 测试，涵盖 DSH 适配、续接、文献管理、Blueprint 与 Git 操作、Lean 兼容性以及旧版流水线兼容性。

包内插件测试包括：
* skills/manage-math-research-program/scripts/tests/：研究经验、研究库 Q9 复用等。
* skills/lean-verify/scripts/tests/：验证器逻辑与真实 Lean 编译测试。

注意事项¶

插件以当前 DSH 进程的权限运行，安装前应检查源码与许可证。
旧版本的 sealed checkpoint 与流水线仍有兼容工具，但旧完整校验需要显式使用 --legacy-v1 参数。
旧记录中的历史实验阶段、角色和额度规则仅属于对应的旧记录，不适用于当前 2.0 版本。

生态链接¶

目录页：https://www.skillhub.cn/plugins/xsoc1/math-research-dsh
GitHub 仓库：https://github.com/xsoc1/math-research-dsh