Команды для терминала DSH
dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-pluginЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Math Agent Framework для DeepSeek Harness: механизм символического вывода (CES / квадратичные формы / ODE / PDE), проверка SymPy, формальные доказательства, проверенные компилятором Lean 4, и многоагентная состязательная проверка в стиле QED, представленная как собственные инструменты DSH через оболочку TS, соединяющую движок Python. Требуется клонирование репозитория math-agent-framework и `pip install -r require.txt`, где MATH_AGENT_HOME указывает на корень репо. Каждый результат имеет происхождение (версии двигателя, семена, допуски) и помечен как ненадежные данные.
★ 5 звёзд GitHub28 августа 2026 г. добавлен
Что делает math-agent-framework#dsh-plugin
Math Agent Framework для DeepSeek Harness: механизм символического вывода (CES / квадратичные формы / ODE / PDE), проверка SymPy, формальные доказательства, проверенные компилятором Lean 4, и многоагентная состязательная проверка в стиле QED, представленная как собственные инструменты DSH через оболочку TS, соединяющую движок Python. Требуется клонирование репозитория math-agent-framework и `pip install -r require.txt`, где MATH_AGENT_HOME указывает на корень репо. Каждый результат имеет происхождение (версии двигателя, семена, допуски) и помечен как ненадежные данные.
Показать оригинальное описание (EN/ZH)
Math Agent Framework for DeepSeek Harness: symbolic derivation engine (CES / quadratic forms / ODE / PDE), SymPy verification, Lean 4 compiler-verified formal proofs, and QED-style multi-agent adversarial verification, exposed as native DSH tools through a TS shell bridging a Python engine. Requires cloning the math-agent-framework repo and `pip install -r requirements.txt`, with MATH_AGENT_HOME pointing at the repo root. Every result carries provenance (engine versions, seed, tolerances) and is marked untrusted data.
Как удалить при необходимости
dsh plugin --profile web remove math-agent-framework#dsh-pluginБезопасность и аудит
Плагины выполняются в окружении пользователя DSH. Рекомендуется проверять исходный код, зависимости и запрашиваемые разрешения в репозитории автора перед установкой.