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
