Плагины

Бандл DeepSeek Harness регистрирует навык, превращающий длинный формат (академические статьи, отраслевой анализ, бизнес-комментарии) в конвейер из 9 ролей: параллельные скауты T1 литература / T2 данные / T3 кейсы, запускаемые координатором T4 аналитик, T5 писатель, T6 критический компаньон, T7 аудитор, T8 финализатор, T9 рецензент. На 6 фазах с треугольной проверкой доказательств, M-гейтом из 23 проверок, аудитом G0-G14 включая китайский шлюз ИИ-следа, оценкой peer-review с подбором журналов и 4 человеческими контрольными точками. Установка через `dsh plugin add lunheng-article-pipeline` (package.json#dsh.bundle.patch плюс запись lib/index.js регистрирующая навык); карточки ролей T1-T9, шаблоны и 11 скриптов проверки без зависимостей, README на пяти языках.

Плагин проверки целей на основе доказательств для DeepSeek Harness. Фиксирует цели через /ultragoal и проверяет выполнение по кодам завершения команд и сгенерированным артефактам, не позволяя модели ложно сообщать о завершении задачи.

Проверки работоспособности плагинов DSH: проверка манифеста/патча/entry/build/pack/install, вызываемая моделью plugin_check, профильное затенение хоста + обнаружение BOM, диагностика среды и предварительная проверка отравления.

Math Agent Framework для DeepSeek Harness: движок символьного вывода (CES / квадратичные формы / ODE / PDE), проверка SymPy, формальные доказательства, верифицированные компилятором Lean 4, и многоагентная состязательная верификация в стиле QED, предоставляемые как нативные DSH-инструменты через TS-оболочку, связывающую движок Python. Требуется клонировать репозиторий math-agent-framework и выполнить `pip install -r requirements.txt`, при этом MATH_AGENT_HOME должен указывать на корень репозитория. Каждый результат содержит информацию о происхождении (версии движка, seed, допуски) и помечается как недоверенные данные.

Навык проверки утверждений, сверяющий проектные документы и планы с фактами кодовой базы, с эскалацией поведенческих утверждений до исполняемой проверки логическими примитивами для машин состояний и моделей данных, с регрессией до/после, доменными ограничениями и поиском рисков параллелизма.

Точная LLM-верификация для агентов DSH: парные награды по logprobs токенов оценки, выбор лучшего из N через Probabilistic Pivot Tournament и пошаговое отслеживание прогресса.

Готовые инженерные процессы для DeepSeek Harness: инструмент dev_task, который контролирует переходы между этапами, артефакты, проверку, ревью и область коммита, плюс веб-воркбенч для установки проектных или пользовательских навыков и правил.

Статический и песочный smoke-детектор без зависимостей для плагинов DSH: проверки структуры пакета, сканирование контракта cordis, headless-проверка без ключей и проверки листинга в экосистеме.

Проверка ссылок для DeepSeek Harness (参考文献真实性检查器): инструмент модели reference_checker проверяет библиографию статьи (.pdf/.bib/.tex/.txt или вставленный текст) по Crossref, OpenAlex и arXiv, сообщает found / partial / not_found / error для каждой записи и выдаёт исправленные цитаты в стиле ввода (APA, GB/T 7714, IEEE, Vancouver, MLA, Chicago, Harvard, ACS, BibTeX).

Открытый маркетплейс плагинов: поиск в реальном времени по топику dsh-plugin на GitHub с проверкой package.json каждого репозитория (значки манифеста dsh.bundle/dsh.client и фильтр «только проверенные»), установки в приоритете через npm с проверками анти-сквоттинга одного источника, обнаружение обновлений и пять агентских инструментов для headless-использования.

Магазин плагинов: основной каталог npm + курируемый список awesome (550+ плагинов, 11 категорий), проверка качества по полю dsh, официальная установка в один клик через `dsh plugin add/remove`, вход из сайдбара и настроек.

Записывает локальные сводки JSONL по количеству вызовов инструментов на каждый ход и грубым сигналам верификации, не сохраняя промпты, аргументы инструментов или текст результатов.

Мост канала Feishu (Lark) с отказом в закрытом состоянии (fail-closed): переписывайтесь с ботом и получайте ответы агента dsh — с опциональным одобрением инструментов человеком (карточки Allow/Deny перед каждым вызовом bash, тайм-аут с fail-closed). Интеграция только через официальный Python SDK (с фиксированной версией); белый список с запретом по умолчанию, проверка подписи/метки времени/повторов вебхуков, устойчивые сессии по чатам; ежедневная проверка совместимости с последним SDK; двуязычная документация.

Плагин DeepSeek Harness, который не даёт агенту голословно заявлять об успехе: прогоны проверок становятся квитанциями, правки отслеживаются, а устаревшее, провалившееся или замаскированное «все тесты проходят» превращается в повторный запуск вместо завершения.

Шлюз свежести для утверждений агента о тестах, typecheck, lint и сборке: каждый прогон проверки становится квитанцией на tools/post-execute, правки файлов отслеживаются, и при agent/turn-stopping утверждение, последняя квитанция которого устарела, провалилась или нечитаема, подталкивает ещё один шаг с указанием квитанции и файлов, изменённых с тех пор.

Запускает 3 или 5 кандидатов кодинг-агентов в отдельных Git worktrees, проверяет их патчи командами проекта, ранжирует только прошедших и требует отдельного одобрения перед применением победителя.

Вкладка Install в Settings → Plugins: установка, обновление и удаление любого плагина по npm spec, `github:user/repo` или локальному пути через тот же путь CLI `dsh plugin add`; проверка обновлений по npm latest или GitHub HEAD с защитой от понижения версии и проверкой разрешённой версии, обход release-cooldown pnpm 11 при каждом add/remove и перезапуск сервиса через оболочку DSH Desktop или relay-процесс в автономном `dsh web`.

Аналитика выполнения сессии: шаги, вызовы инструментов, сбои, повторяющиеся действия, использование токенов и сигналы верификации, представленные в виде отчётов text/Markdown/JSON.

Проводит дебаты «тезис — антитезис — печать», вердикт которых вычисляется по реальным кодам возврата команд и числу кейсов, а не по тексту агента.

Навык методологии клонирования сайтов: дерево решений с приоритетом реального источника, охватывающее статические сайты, контентные сайты на React/Vue/Next и фронтенды с обилием WebGL/Canvas, обязательную проверку исполняемого кода, цитируемого из вторичных ИИ-анализов, и 13 Node-скриптов без зависимостей для разведки браузера через CDP, сбора ресурсов/шрифтов, обхода маршрутов, поиска sourcemap и аудита по различию пикселей.

Полная проверка отчётов для научных отчётов: проверка каждого утверждения по Crossref, PubMed (сканирование отзывов), ClinicalTrials.gov, UniProtKB, GEO/SRA и PatentsView, доступность URL и совпадение заголовков, смысл утверждение-источник при температуре 0, а также устойчивый перезапускаемый журнал аудита с аннотированным отчётом.

Управление узлами Windows через WinRM из веб-панели и с помощью семи агентских инструментов: выполнение PowerShell, управление службами и процессами, передача файлов по SMB / частями с проверкой SHA-256 и кластерное выполнение.

Унифицированный маркетплейс плагинов, созданный для оболочки DSH Desktop (EAC), объединяющий курируемый каталог, экосистему плагинов dsh на GitHub и реестр npm в единый магазин, с белыми списками источников, предварительными проверками конфликтов, проверкой пробной установки при загрузке, ручными/пакетными/автоматическими обновлениями и управлением наборами функций .dshpack.

Экспорт и импорт конфигурации DeepSeek Harness между машинами в виде архивов .dshmig для одной ОС, с редактированием учётных данных, верификацией и откатом.