dsh-alphasolve
DeepSeek Harness 的会话范围 AlphaSolve 工作流
插件会安装到这里；不确定时保持 web。
npx -y @deepseek-ai/dsh plugin --profile web add github:dxww123/dsh-alphasolve#249bb9268450b30c7be5c802d0adca44186e11bdAlphasolve 以 dsh-alphasolve 发布，当前版本为 0.4.0。Plugin Hub 会校验它的 manifest，并保存精确安装来源，便于复现安装结果。
点击下方 Badge 复制 Markdown，粘贴到 README 即可。
验证 package.json 声明的 GitHub 仓库，即可管理这个公开页面。认领后，Hub 会优先安排当前版本的安全扫描，并在通过后公开展示结果。
认领这个 Plugin →AlphaSolve helps you work on difficult mathematics problems in DeepSeek Harness: it develops candidate proofs, checks them independently, and revises them. It follows the workflow of AlphaSolve.
dsh-alphasolve, and install. Choose Enable now and restart if prompted.No GitHub account or source build is needed. If you have the older @dsh-external/dsh-alphasolve package, replace it before installing this one.
Create a folder and put your question in problem.md. You may add hint.md for ideas, references, or approaches to try.
Open that folder as a workspace in DSH and start a conversation in standard mode.
Send:
Use AlphaSolve to solve the problem in problem.md.
Click AlphaSolve at the top of the conversation to see progress and open each participant's working transcript. When the workflow accepts a solution, it writes solution.md in your folder.
Start with a small problem. Repeated checking can take a long time and incur substantial model charges; the default is two parallel solving tasks. Automated checks do not guarantee a correct proof—review the mathematics yourself.
npm package · Advanced usage and development · Compatibility · Report a problem