浏览、筛选并安装 DeepSeek-Harness 插件。
共 1 个插件
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.