Durchsuche, filtere und installiere DeepSeek-Harness-Plugins.
1 Plugins gefunden
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.