Plugin directory / Tools & Capabilities / math-lean
math-lean
Verified · installs & boots on dsh Fisfzy/math-lean ↗
1Stars
0Forks
0Open issues
TypeScriptLanguage
2026-08-15Last push
What it does
Lean kernel-verified math reasoning plugin
Our take
Works — verified, early-stage project
Works — verified, early-stage project
Lean kernel-verified math reasoning plugin 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:Fisfzy/math-lean- Install pnpm once:
npm install -g pnpm. - Add it from GitHub:
dsh plugin --profile web add github:Fisfzy/math-lean. - 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.