Плагины

Монитор использования тарифа OpenCode Go для DeepSeek Harness: квоты в реальном времени за скользящие 5 часов / неделю / месяц в плавающем веб-доке.

Позволяет локальному агенту DeepSeek Harness использовать BailingHub для запроса данных, обновления записей и выполнения разрешённых действий в интернет-магазине, SaaS или другой системе администрирования.

Плагин квот DeepSeek Harness: переключается в зависимости от текущей модели между официальным балансом / использованием подписки OpenCode Go, оценкой текущей сессии, накопленным потреблением между сессиями и настройками визуализации.

Плагин предметной области разработки на Rust для DeepSeek Harness (dsh): пирамида верификации fmt→clippy→build+test→miri+audit(+semver) как инструменты для модели + управление на уровне графа (anti-Goodhart: 8 правил, включая плотность #[allow] / удалённые тесты, blind-spot через Cargo.toml и pub

Плагин предметной области разработки ядра Linux для DeepSeek Harness (dsh): пирамида верификации L1-L4 как инструменты для модели + управление на уровне графа (anti-Goodhart / blind-spot / patch-conflict) + контракт AGENTS.md в качестве секции системного промпта. Чистый JS, без шага сборки.

Плагин DeepSeek Harness для SCNet HPC: настройка SSH, задания Slurm CPU/DCU, зондирование кластера, диагностика вычислительных узлов и руководство по Hygon DCU/DTK.

Плавающая локальная для браузера аркада с китами: три игры на очки и морские крестики-нолики (Гомоку) для отдыха во время ожидания агента.

Веб-менеджер плагинов для DeepSeek Harness: категоризированный список плагинов, пресет-наборы с переключением в один клик, импорт/экспорт и автооткат при сбоях, а также маркетплейс плагинов с установкой в один клик.

Живой аудит CVE/цепочки поставок для зависимостей собственного проекта вашего рабочего пространства (npm/pip/go) на базе OSV.dev, с инструментом cve_audit и опциональным автосканированием при изменении lockfile.

Строгий набор для открытых математических исследований: четыре agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) для доказательства теорем с враждебным аудитом, управлением исследовательской программой, оркестрацией пайплайна и аудитом формализации в Lean 4; тесты, проверенные CI, и механическая синхронизация с upstream.

Набор инструментов vision для текстового DeepSeek: вызываемый моделью инструмент `vision`, обёртки-адаптеры для deepseek/opencode-go (v4 flash/pro), квота Antigravity IDE (default, flash/pro) / любой совместимый с OpenAI VLM / Gemini / локальные каналы Ollama, память доказательств с ре-гидратацией после компактации, кеш хеша содержимого и двуязычная клиентская панель.

Инструменты цитирования для агентов: точный поиск DOI, библиографический поиск Crossref, форматирование GB/T 7714 / APA / MLA / Chicago, генерация BibTeX, а также проверка DOI с ограниченной параллельностью и self-check здоровья.

Плавающий виджет, отображающий использование подписки OpenCode Go в реальном времени (скользящее/еженедельное/ежемесячное) для каждого API-ключа, с оповещениями о превышении лимита запросов и автоматическим обнаружением пула ключей.

Пилл баланса OpenCode Go в правом конце панели инструментов компоновщика: остаток квоты скользящий/еженедельный/ежемесячный напрямую из конечной точки использования Zen, с детализацией при наведении и окраской предупреждения/опасности.

Адаптер провайдера Command Code Go для dsh: динамически сканирует каталог моделей Go-плана и обслуживает /alpha/generate через интерфейс LLM harness

Врата проверки на реальных вычислениях: упрощение математических выражений, логические доказательства, проверка regex, FOL через E-prover, проверки конечных автоматов и исправление кода на основе бинарников, скомпилированных на Go, с готовыми исполняемыми файлами для Windows.

Zero-token DuckDuckGo search provider for the DeepSeek Harness (DSH) web seam — local headless browser, no API key, no model billing

OpenCode gateway provider for DeepSeek Harness: the Zen pay-as-you-go plan and the Go subscription, with their settings UI

macOS desktop launcher with an installation skill: starts or reuses the local DeepSeek Harness web service and opens it in Google Chrome, with a transparent character and thought bubble icon.

Dependency tree summaries: npm / pip / cargo.

21 read-only lifecycle governance tools in one self-contained DSH plugin: task tiering, state/plan/evidence validation, gate precheck and aggregation, release/install audits, context and progress analysis, critical path, resume reconciliation, and a mutation preview that always denies execution. Installs from npm as @240xu/dsh-tech-lead.

Task monitor plus remote chat for DeepSeek Harness. Read sessions, background jobs, subagents, goal rounds, workflows and pending approvals from a phone-friendly page, and talk to any session from it: streamed replies, tool-call progress, stop at any time, switch sessions and models. Also ships a GUI sidebar panel.

Go (weiqi) review coach: parses SGF records, backfills winrate and score analysis with a bundled KataGo engine, explains the costly moves in the chat, and writes the commentary back into an SGF copy; a web panel shows the board with problem moves, AI choices and variations.