DeepSeek-Harness 플러그인을 찾아보고, 필터링하고, 설치하세요.
플러그인 1개 찾음
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.