Команды для терминала DSH
dsh plugin --profile web add github:zhengqiuyang/dsh-pr-gateЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Плагин «dsh-pr-gate» для DeepSeek Harness: Deterministic write gate: scope policy denies out-of-scope write/edit calls before they touch the disk, residue rules scan the written text, and every decision lands in a content-hashed JSONL ledger; can reuse the repo's agent-pr-gate.yaml so CI and session enforce one policy.
dsh plugin --profile web add github:zhengqiuyang/dsh-pr-gateЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Плагин «dsh-pr-gate» для DeepSeek Harness: Deterministic write gate: scope policy denies out-of-scope write/edit calls before they touch the disk, residue rules scan the written text, and every decision lands in a content-hashed JSONL ledger; can reuse the repo's agent-pr-gate.yaml so CI and session enforce one policy.
Deterministic write gate: scope policy denies out-of-scope write/edit calls before they touch the disk, residue rules scan the written text, and every decision lands in a content-hashed JSONL ledger; can reuse the repo's agent-pr-gate.yaml so CI and session enforce one policy.
dsh plugin --profile web remove dsh-pr-gateПлагины выполняются в окружении пользователя DSH. Рекомендуется проверять исходный код, зависимости и запрашиваемые разрешения в репозитории автора перед установкой.