dsh-frontier-math：DeepSeek Harness 下的前沿數學研究工作流
`dsh-frontier-math` 是 DeepSeek Harness (DSH) 的前沿數學研究插件，核心理念是建立嚴謹結構化流程以提升研究質量而非承諾自動求解。插件提供項目立項、文獻審計、猜想記錄及證書生成四大核心工具，強制要求問題具備高開放度與清晰度，並通過多源檢索、依賴圖維護和獨立驗證確保產出可靠。文章詳細介紹了其安裝配置、典型工作流（含評分、審計、驗證）及適用場景，強調數據存儲的併發限制與自動檢索的盲區，適合開發者或研究者使用。
閱讀全文dsh-rigorquant：面向經驗/計算數學研究的 DSH 會話級研究插件
dsh-rigorquant 是 DeepSeek Harness (DSH) 的一個 MIT 許可插件，旨在通過上下文隔離的多智能體協作，優化經驗/計算數學的長程研究流程。它解決假設提出、探索、驗證與實現混雜的問題，將單次會話組織爲帶有邊界、分工及前置檢查的研究實驗室。 其核心機制包括並行探索、獨立重推分析形式與界限、通過反例對抗淘汰無效路徑，以及由 meta-validator `rq_check.py` 進行的證據校驗，拒絕無證據的通過結論。插件引入“實現前四項檢查電池”，確保數值實現前有充分證據。針對隨機性工作，採用固定種子和大數定律約定，並提供可選的 Jacobian MCP 升級路
閱讀全文