Команды для терминала DSH
dsh plugin --profile web add github:xsoc1/math-research-dshЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Пакет строгих открытых математических исследований: четыре навыка агента (строгие открытые математические исследования, управление программой математических исследований, рабочий процесс математических исследований, бережливая проверка) для решения теорем с состязательным аудитом, управления исследовательскими программами, оркестровки конвейеров и аудита формализации Lean 4; Тесты, проверенные CI, и механическая восходящая синхронизация.
★ 2 звёзд GitHub15 августа 2026 г. добавлен
Что делает math-research-dsh
Пакет строгих открытых математических исследований: четыре навыка агента (строгие открытые математические исследования, управление программой математических исследований, рабочий процесс математических исследований, бережливая проверка) для решения теорем с состязательным аудитом, управления исследовательскими программами, оркестровки конвейеров и аудита формализации Lean 4; Тесты, проверенные CI, и механическая восходящая синхронизация.
Показать оригинальное описание (EN/ZH)
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.
Как удалить при необходимости
dsh plugin --profile web remove math-research-dshБезопасность и аудит
Плагины выполняют код внутри песочницы DSH. Перед установкой вы можете просмотреть исходный код в репозитории автора.