Плагины

Отображает HTML-вывод агента как реальный интерфейс в веб-интерфейсе DeepSeek Harness, с визуальными карточками, математикой KaTeX, диаграммами Mermaid, встроенными шрифтами с открытым исходным кодом и внедрением дизайн-спецификаций.

Мультиагентный рабочий процесс для конкурсов математического моделирования: пресет "UltraMath" ведёт задачу от чтения через фреймворк, вывод, кодинг, верификацию, статью и ревью, плюс 4 одноэтапных ролевых пресета (математик, инженер, писатель, рецензент) и 33 доков библиотеки моделей.

Устанавливает четыре многоагентных пресета для математических исследований в DSH: v2 (пайплайн на основе вероятностей с дебатами нескольких проверяющих), v3 (база знаний в стиле статьи на Markdown с агентом-планировщиком и переиспользуемой библиотекой методов), v4 (постоянные самоорганизующиеся резиденты, которые переписываются и встречаются) и v5 (исследовательский институт с академиком, который разбирает и распределяет работу, голосующими исследователями, временными работниками, групповым чатом и таск-бордом compare-and-set); все четыре поддерживают возобновление с чекпоинта, вмешательство человека и необязательный переключатель формальной верификации Lean (off/encourage/require), прошедшее доказательство которого превращает голосование в проверку точности Lean-утверждений.

Гейтированная набор навыков по математическому моделированию для DeepSeek Harness: пятиэтапный pipeline с stage gates, шаблонами написания award-paper, анализом чувствительности, статистической диагностикой и пресетом для конкурса.

Безопасный вычислитель математических выражений, парсер рекурсивного спуска без зависимостей.

Пресет RigorQuant + пакет навыков: автономное изолированное многоагентное исследование для эмпирической и вычислительной математики (экономика, финансы, портфель), с батареей проверок из четырёх частей перед реализацией и эскалацией через jacobian/Lean.

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, допуски) и помечается как недоверенные данные.

Набор инструментов финансовых данных для агентов DSH: форматирование чисел и валют (включая китайские единицы wan/yi), расчёт доходности и CAGR, коэффициенты оценки и рентабельности, PV/FV, метрики риска и контрольный список качества данных.

Регистрирует сервер MathWorks MATLAB/Simulink MCP в профиле dsh, чтобы сессии агентов получали инструменты mcp__matlab__* для запуска кода MATLAB и чтения, редактирования и тестирования моделей Simulink.

Генерируйте автономные интерактивные HTML-отчёты из Markdown, таблиц, графиков, карт провинций Китая, блок-схем, математики и таблиц с детализацией — плагин для DeepSeek Harness (dsh).

Запрос по 64 китайским экзаменам (гаокао/поступление в магистратуру/CET-4/6/CPA/квалификационный экзамен юриста и др.) с учётом правил вычисления дат (2-я суббота, 1-е воскресенье) и обратным отсчётом.

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

Врата проверки на реальных вычислениях: упрощение математических выражений, логические доказательства, проверка regex, FOL через E-prover, проверки конечных автоматов и исправление кода на основе бинарников, скомпилированных на Go, с готовыми исполняемыми файлами для Windows.

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

Математический плагин manim для deepseek harness

Three tools for DeepSeek Harness: typeset LaTeX formulas into images, draw mathematical figures from a declarative spec, and convert a formula or SVG into an image ready to embed in a document.

NumPy/SciPy 科学计算工具 — 以 DSH Cordis 插件形式集成，模型通过 math_compute 工具发起任意 NumPy/SciPy 运算

Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).

Local-life toolkit for DSH agents: budget planning, bill splitting, unit-price and discount math, common unit conversions (jin/li/chi, C/F, L/gallon), and trip checklists.

Планирование повторяющихся привычек на основе чистой математики дат: следующее наступление, расписания диапазонов и советы по просроченным задачам.