Команды для терминала DSH
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#forge-gatesЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Шлюзы проверки реальных вычислений: математическое упрощение, логические доказательства, проверка регулярных выражений, FOL электронного доказательства, проверки конечного автомата и восстановление кода, поддерживаемые скомпилированными на Go двоичными файлами с предварительно созданными исполняемыми файлами Windows.
★ 3 звёзд GitHub14 августа 2026 г. добавлен
Что делает deepseek-harness-forge-plugins#forge-gates
Шлюзы проверки реальных вычислений: математическое упрощение, логические доказательства, проверка регулярных выражений, FOL электронного доказательства, проверки конечного автомата и восстановление кода, поддерживаемые скомпилированными на Go двоичными файлами с предварительно созданными исполняемыми файлами Windows.
Показать оригинальное описание (EN/ZH)
Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables.
Как удалить при необходимости
dsh plugin --profile web remove deepseek-harness-forge-plugins#forge-gatesБезопасность и аудит
Плагины выполняют код внутри песочницы DSH. Перед установкой вы можете просмотреть исходный код в репозитории автора.