Команды для терминала DSH
dsh plugin --profile web add dsh-logicprobeЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Навык проверки утверждений, который проверяет проектную документацию и планы на соответствие фактам кодовой базы, повышая поведенческие претензии до исполняемой логической примитивной проверки для конечных автоматов и моделей данных, с регрессией до/после, ограничениями предметной области и анализом рисков параллелизма.
★ 2 звёзд GitHub↓ 160 загрузок за 30 дней24 августа 2026 г. добавлен📦 npm verified
Что делает logicprobe
Навык проверки утверждений, который проверяет проектную документацию и планы на соответствие фактам кодовой базы, повышая поведенческие претензии до исполняемой логической примитивной проверки для конечных автоматов и моделей данных, с регрессией до/после, ограничениями предметной области и анализом рисков параллелизма.
Показать оригинальное описание (EN/ZH)
Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification for state machines and data models, with before/after regression, domain constraints, and concurrency risk mining.
Как удалить при необходимости
dsh plugin --profile web remove dsh-logicprobeБезопасность и аудит
Плагины выполняют код внутри песочницы DSH. Перед установкой вы можете просмотреть исходный код в репозитории автора.