Плагины

Навыки исследовательского рабочего процесса ARIS в виде бандла DeepSeek Harness: 82 навыка плюс межмодельное состязательное рецензирование через Codex.

Навык исследовательского рабочего процесса AI-for-Science для DeepSeek Harness, для исследователей и аспирантов, использующих агентский ИИ: многоугольный обзор литературы с файлами по углам, дизайн экспериментов со списком оговорок, чтение рисунков и статей; каждое задание возвращает файлы плюс бриф кросс-проверки для второй модели. Ноль зависимостей, MIT.

Исследовательский рабочий процесс «Открытие, управляемое вопросами» для DeepSeek Harness с пресетом агента QDD, устойчивыми ручными и автоматическими запусками и аудируемой панелью исследований.

Строгий набор для открытых математических исследований: четыре agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) для доказательства теорем с враждебным аудитом, управлением исследовательской программой, оркестрацией пайплайна и аудитом формализации в Lean 4; тесты, проверенные CI, и механическая синхронизация с upstream.