Browse, filter, and install DeepSeek-Harness plugins.
1 plugins found
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.