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 升级路
阅读全文