dsh-alphasolve

AlphaSolve for DSH

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.

Install

These npm instructions apply to published dsh-alphasolve@0.4.0 and DSH 0.2.0-rc.2. The current source checkout targets DSH 0.2.1-rc.2; those changes are not yet published to npm. For that version, build from source and install locally.

1. Install DeepSeek Harness Desktop 0.2.0-rc.2 and configure a working model connection.
2. Open the plugin manager, choose Add plugin, enter `dsh-alphasolve`, and install. Choose Enable now and restart if prompted.
3. Complete the one-time Python/SymPy setup. Desktop includes Python, but installing the plugin does not install SymPy.

The npm installation needs no GitHub account or source build. If you have the older @dsh-external/dsh-alphasolve package, replace it before installing this one.

Solve a problem

1. Create a folder and put your question in `problem.md`. You may add `hint.md` for ideas, references, or approaches to try.
2. Open that folder as a workspace in DSH and start a conversation in standard mode.
3. 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