Плагины

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

Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).

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

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

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

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

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

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

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

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.

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