dsh-turn-rewind
@Anionex
DSH - откат состояния диалога и рабочей области, работающий на основе постоянного Change Ledger.
jacobian
40 звезд
О плагине
Чистая математика для агентов: поиск примеров и контрпримеров, точные вычисления и независимая проверка того, что доказывает результат.
Описание переведено с оригинала с помощью машинного перевода.
Теги
ai-agentsautomated-theorem-provingcomputer-algebracordisdshformal-methodsformal-verificationlean4
Похожие плагины
flameox
@morluto
Данные времени выполнения, помогающие агентам трассировать, профилировать и устранять узкие места в прикладном и нативном коде, ядрах GPU и стеках вывода.
dsh_workflow
@icetomoyo
Перенос режима UltraCode из Claude Code в DSH, обновляющий одноразовое планирование нескольких Agent в DSH до уровня Workflow, который можно генерировать, сохранять, администрировать, наблюдать и восстанавливать.