Plugin directory / Tools & Capabilities / deepseek-harness-forge-plugins
deepseek-harness-forge-plugins
Verified · installs & boots on dsh jinguanghai/deepseek-harness-forge-plugins ↗
What it does
Forge-plus: math/logic/regex/eprover/sys tools — 3 plugins, 12 tools.
Works — verified, early-stage project
Forge-plus: math/logic/regex/eprover/sys tools — 3 plugins, 12 tools. It installs cleanly and boots without issues in our testing. It's early-stage but functional.
Install
This plugin is GitHub source (not published to npm) — install it straight from the repo:
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins- Install pnpm once:
npm install -g pnpm. - Add it from GitHub:
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins. - Restart
dsh web.
Note: plugins that ship a prepare build script may prompt pnpm to allow the build — add the key it prints under allowBuilds in pnpm-workspace.yaml, then re-run.
Test report
Verified: installed from GitHub, activated in the profile, and booted a task successfully.
Repository
github.com/jinguanghai/deepseek-harness-forge-plugins ↗