Plugins

Espaços de trabalho estilo Remote-SSH: transforme um host SSH e um diretório remoto em um espaço de trabalho DSH nativo; o agente opera o sistema de arquivos remoto diretamente via 12 ferramentas rw_* (SFTP/exec), com caminhos restritos ao espaço de trabalho e verificação de known_hosts.

Portão de verificação para agentes DSH: cada critério de aceitação deve ser respaldado por evidência real de ferramentas carimbada pelo servidor antes que o portão de conclusão deixe um objetivo passar (auditoria consultiva, portão de aplicação, permissões duráveis).

Conjunto de competências do agente de notas virais Xiaohongshu/RED: pesquisa de notas em alta, geração/reescrita de notas, verificação, análise de contas autorizadas, início de sessão por QR e publicação controlada.

Due diligence de empresas e vagas baseada em evidências para o DSH: registra fontes com níveis de evidência, adiciona afirmações limitadas pelas evidências, verifica a entidade legal em registros oficiais e gera um relatório PROCEED/VERIFY/STOP com checklist de verificação e perguntas de entrevista.

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.

Disciplina de desenvolvimento guiada por especificação para dsh: cinco skills keel (anchor/spec/probe/build/audit), três ferramentas de revisão e seis modelos de spec impõem spec antes de código, verificação de suposições e controle de escopo.

Ferramentas HTTP de busca anti-bot endurecidas pela pilha de scraping em produção da SXS (milhões de requisições por dia): rotação de pool de UA, nova tentativa com backoff exponencial, detecção de muro anti-bot (captcha / desafios de verificação) e limitação de taxa adaptativa — ferramentas: `sxs_fetch` / `sxs_fetch_json` / `sxs_rate_status`.

Testes de aceitação independentes no navegador para entregáveis de agentes: entra uma especificação JSON e sai um veredito em Chromium real.

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

DSH GUI Toolkit — Windows desktop control tools for DeepSeek Harness (DSH): screen layout, annotated screenshot, single-window capture, click / drag / type / key / scroll, semantic verification, window management, and UI Automation structured queries. Thi

Cordis-native, evidence-driven full-stack engineering workflow: inspect-first planning, explicit verification evidence, and approval-aware gating for sensitive operations.

SMS forwarding webhook for DeepSeek Harness. Phone apps (SMS Forwarder, Tasker, or any HTTP POST) push messages to a local HTTP endpoint; the plugin stores them as JSONL and exposes sms_recent / sms_search tools so the agent can read SMS verification codes during tasks. Auto-extracts the first 4-8 digit OTP from each message, supports keyword filtering, and works over LAN or Tailscale.

TypeSafe Jev (modelo de decisão System One) para o DeepSeek Harness, de ponta a ponta: jev_decision (choice/score/noul, paralelo, respostas tipadas + confiança), um cartão em Settings > Plugins para a API key e chaves de liga/desliga, visualizações inline de ferramenta mostrando cada decisão na conversa (resposta, confiança, latência, custo), um auto-guard (checagens determinísticas + de risco/loop do Jev), um dashboard local /jev e um benchmark de verificação online (96,3% em 27 perguntas rotuladas, mediana ~283 ms no jev-latest, 2026-09-21). Honesto por design: só API real, sem fallback simulado.

Skill that fact-checks a claim against the open web rather than model memory: it splits the claim into independently checkable fact points, routes each point to the primary-source ladder for its domain (policy, academic, medical, financial, disaster and accidents, food safety, science, education, sports, entertainment, judicial, and more), searches domestic and international ecosystems in parallel, fetches primary pages, grades sources by type, re-searches with debunking keywords, and reports conclusion-first with a full URL and citation position behind every statement, keeping unverified and undecidable points separate from confirmed ones. Three factual judgements can be routed to a TypeSafe Jev (System One) decision model when a key is configured, falling back to the skill's deterministic rules when it is not; a model verdict can only lower a confidence tier.

Live Android device pane next to your DSH conversation: scrcpy-server H.264 streaming (WebCodecs, 30-60 fps), agent tap/swipe/text with auto-screenshot verification, uiautomator element tree with tap coordinates, host-managed recording + logcat debug sessions. FLAG_SECURE pages are detected automatically with a mitigation chain and a tappable text-view fallback. Emulators and USB real phones, human+agent co-operation, session-isolated, loopback-only.

Same-origin in mechanism with the two loudest lines in context compression. The code-skeleton gate follows the skeletonization approach of Headroom (Apache-2.0), whose published headline is 20% fewer tokens for coding agents and 60–95% fewer tokens for JSON, same answers. The estimator channel follows TokenPilot (arXiv:2606.17016), which reports up to 60% lower cost for long-session agents. Both figures are theirs, quoted as-is; this plugin ships no benchmark of its own and claims no reduction of its own. What it adds for DeepSeek Harness: choose a compression profile, set the Auto Compact trigger level and toggle code-skeleton compression from one settings section, with exact DeepSeek V4 tokenizer measurement, same-revision count verification, and fail-open behaviour that keeps the original tool results on unsupported models.

Agent preset plugin for DeepSeek Harness that triages every request, delegates implementation to an expert, and schedules parallel work through a dependency-DAG taskboard and a file-based message bus before an independent review gate. Ships with only 11 core experts out of the box; more expert teams (Agency agents EN/ZH, classic collections) are one-click downloads from the settings page over dual GitHub/CDN channels with sha256 verification.

Group-chat multi-agent orchestration console for DSH: autonomous decision-making, task dispatch, verification and iterative optimization for long tasks; bundles its own backend, installs with `dsh plugin add`.

Stability audit for installed dsh plugins: static risk grading (hook surface, startup work, inject, entry, dep ranges) plus optional isolated install verification.

Provisions the kimi-webbridge bridge daemon (auto-install with SHA-256 verification, auto-start) and registers a 25-action skill that drives the user's real browser through the local bridge.

Experience validation layer for DSH: zero-token collection of tool-failure/retry/search signals, AI refinement into verified skill books (three-layer verification), looked up at task start. Ships 10 trial skills and benchmark data (complex-task success 100% vs 60% bare).

Reliable todo panel that survives restarts (official panel only re-renders on write — fixed via projection pre-warm) with three-state completion verification: evidence exists → verified, fake evidence → blocked, no evidence → unverified badge; settings toggle to fall back to official behavior.

SMS forwarding webhook for DeepSeek Harness. Phone apps (SMS Forwarder, Tasker, or any HTTP POST) push messages to a local HTTP endpoint; the plugin stores them as JSONL and exposes sms_recent / sms_search tools so the agent can read SMS verification codes during tasks. Auto-extracts the first 4-8 digit OTP from each message, supports keyword filtering, and works over LAN or Tailscale.