Находите, фильтруйте и устанавливайте плагины DeepSeek-Harness.
Найдено плагинов: 1
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.