DeepSeek Harness 插件介绍：dsh-alphasolve

`dsh-alphasolve` 是 DeepSeek Harness (DSH) 的一款工作流插件，旨在自动化处理复杂数学证明。用户需配置 Python/SymPy 环境并安装插件，随后将问题放入 `problem.md` 文件，发送特定提示词并点击 AlphaSolve 按钮即可启动多任务并行求解与验证。该工具虽能辅助开发候选解，但需用户自行审查逻辑正确性，且过程可能耗时较长。