Plugins

Monitor de uso do plano OpenCode Go para DeepSeek Harness: cota em tempo real de 5 horas móvel / semanal / mensal em uma dock web flutuante.

Permite que um agente local do DeepSeek Harness use o BailingHub para consultar dados, atualizar registros e executar ações permitidas em uma loja online, SaaS ou outro sistema administrativo.

Plugin de créditos do DeepSeek Harness: alterna conforme o modelo atual entre saldo oficial / uso da assinatura OpenCode Go, estimativa da sessão atual, consumo acumulado entre sessões e configurações de visualização.

Plugin de domínio de desenvolvimento Rust para DeepSeek Harness (dsh): pirâmide de verificação fmt→clippy→build+test→miri+audit(+semver) como ferramentas voltadas ao modelo + governança em camada de grafo (8 regras anti-Goodhart, incl. densidade de #[allow] / testes excluídos, blind-spot via Cargo.toml e pub

Plugin de domínio de desenvolvimento do kernel Linux para DeepSeek Harness (dsh): pirâmide de verificação L1-L4 como ferramentas voltadas ao modelo + governança em camada de grafo (anti-Goodhart / blind-spot / patch-conflict) + contrato AGENTS.md como seção do prompt do sistema. JS puro, sem etapa de build.

Plugin DeepSeek Harness para SCNet HPC: configuração SSH, jobs Slurm CPU/DCU, sondagem de cluster, diagnóstico de nós de computação e orientação Hygon DCU/DTK.

Arcade de baleias flutuante e local no navegador com três jogos de pontuação e Gomoku temático do oceano para pausas enquanto se espera pelo agente.

Gerenciador de plugins dentro da web para o DeepSeek Harness: lista de plugins categorizada, pacotes predefinidos com troca de um clique, importação/exportação e reversão automática em falhas, e mercado de plugins com instalação de um clique.

Auditoria ao vivo de CVE/cadeia de suprimentos para as dependências do próprio projeto do seu espaço de trabalho (npm/pip/go), com base no OSV.dev, com uma ferramenta cve_audit e revarredura automática opcional em mudanças de lockfile.

Suíte rigorosa de pesquisa matemática aberta: quatro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) para provar teoremas com auditoria adversarial, gestão de programa de pesquisa, orquestração de pipeline e auditoria de formalização em Lean 4; testes verificados por CI e sincronização mecânica com upstream.

Kit de visão para DeepSeek apenas texto: ferramenta `vision` invocável pelo modelo, adaptadores wrapper para deepseek/opencode-go (v4 flash/pro), cota do Antigravity IDE (default, flash/pro) / qualquer VLM compatível com OpenAI / Gemini / canais locais do Ollama, memória de evidências com reidratação por compactação, cache de hash de conteúdo e um painel de cliente bilíngue.

Ferramentas de citação para agentes: busca exata de DOI, busca bibliográfica no Crossref, formatação GB/T 7714 / APA / MLA / Chicago, geração de BibTeX e validação de DOI com concorrência limitada e autoverificação de saúde.

Widget flutuante que mostra o uso da assinatura OpenCode Go em tempo real (contínuo/semanal/mensal) para cada chave API, com alertas de limite de taxa e descoberta automática do pool de chaves.

Pílula de saldo OpenCode Go na extremidade direita da linha de ferramentas do compositor: cota restante rolante/semanal/mensal diretamente do endpoint de uso Zen, com detalhe ao passar o cursor e coloração de aviso/perigo.

Adaptador de provedor Command Code Go para o dsh: varre dinamicamente o catálogo de modelos do plano Go e serve /alpha/generate através da interface de LLM do harness

Portões de verificação com computação real: simplificação matemática, provas lógicas, validação de regex, FOL via E-prover, verificações de máquina de estados e reparo de código, apoiados em binários compilados em Go com executáveis pré-compilados para 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.