dsh-whale-subagent
@1while1
Вложенный субагент для DeepSeek Harness в стиле девушки-кита: пиксельные анимированные карточки субагентов, отслеживание THINK/TODO в реальном времени и инструмент subagentex с выбором модели.
math-lean
1 звезд
О плагине
dsh-lean-prover: плагин для математических рассуждений, верифицируемый ядром Lean (DSH Cordis).
Описание переведено с оригинала с помощью машинного перевода.
Теги
dshxleanmathproof-verification
Похожие плагины
dsh-media-skills
@akqwpeter-prog
Вставка изображений прямо в чат: бесплатная vision-модель, чтение вставленных изображений, а также Skill для чтения и генерации изображений для DeepSeek Harness.
dsh-rag-kb
@AlowEnsoul
Плагин локальной RAG базы знаний для DeepSeek Harness: локальная нарезка документов, векторизация и семантический поиск, полностью локальная работа (Ollama + чистый frontend/host).