dsh-rigorquant:面向經驗/計算數學研究的 DSH 會話級研究插件
dsh-rigorquant 是 DeepSeek Harness (DSH) 的一個 MIT 許可插件,旨在通過上下文隔離的多智能體協作,優化經驗/計算數學的長程研究流程。它解決假設提出、探索、驗證與實現混雜的問題,將單次會話組織爲帶有邊界、分工及前置檢查的研究實驗室。 其核心機制包括並行探索、獨立重推分析形式與界限、通過反例對抗淘汰無效路徑,以及由 meta-validator `rq_check.py` 進行的證據校驗,拒絕無證據的通過結論。插件引入“實現前四項檢查電池”,確保數值實現前有充分證據。針對隨機性工作,採用固定種子和大數定律約定,並提供可選的 Jacobian MCP 升級路
閱讀全文