DeepSeek-Harness プラグインを閲覧・絞り込み・インストールできます。
1 件のプラグインが見つかりました
wytyken/dsh-leanary
Leanary: a mathematical research plugin for DeepSeek Harness, with persistent research workflows and Lean verification.