wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.
🔌 Network
undeclared
⏳ Sandbox
untested
Who this is for
- people browsing or managing plugins
下载量 / Downloads
0
Install
dsh plugin --profile web add wytyken/dsh-leanary
Sandbox test
This plugin has not been tested yet. Submit a test →
Links
Frequently asked
How do I install wytyken/dsh-leanary?
Run
dsh plugin --profile web add wytyken/dsh-leanary in DSH, or paste the package name into the DSH Desktop plugin page.What if it fails to install?
Check your DSH version first (
dsh --version), then look at the first error in the test-results section. If it still fails, open an issue on the repository.How do I uninstall it?
Run
dsh plugin --profile web remove wytyken/dsh-leanary.