Plugins

Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.

Ferramentas read/edit/batch_edit/undo_last_edit ancoradas em hash para o DeepSeek Harness (dsh). Cada linha recebe um hash único de 3 caracteres (A-Za-z0-9) que permanece estável entre edições; âncoras obsoletas ou ambíguas são rejeitadas, nunca comparadas por aproximação. O undo persiste entre reinícios

Grava localmente resumos em JSONL da contagem de ferramentas por turno e sinais de verificação de alto nível, sem armazenar prompts, argumentos de ferramentas ou o texto dos resultados.

Ponte de canal Feishu (Lark) com falha segura (fail-closed): converse com um bot e receba os turnos do agente dsh de volta. Integração apenas com o SDK oficial em Python (versão fixada); allowlist com negação por padrão, verificação de assinatura/timestamp/replay do webhook, sessões fixas por chat; documentação bilíngue.

Health checks for DSH plugins: manifest/patch/entry/build/pack/install verification, model-callable plugin_check, profile host-shadowing + BOM detection, environment diagnostics, and poison preflight.

Loja de plugins: catálogo oficial do npm + lista curada awesome (mais de 550 plugins, 11 categorias), verificação de qualidade via campo dsh, instalação com um clique via `dsh plugin add/remove` oficial, entrada na barra lateral e nas configurações

Guarda de disciplina de engenharia: questiona os requisitos antes da primeira edição, impõe portões de evidência de testes red/green e audita a entrega com um adversário bifurcado (skill grill-requirements + portões de política de ferramentas)

Análise de execução de sessões: etapas, chamadas de ferramentas, falhas, ações repetidas, uso de tokens e sinais de verificação, apresentados como relatórios em texto/Markdown/JSON.

Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).

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

Bundled Xiaohongshu/RED viral-note agent skill: hot-note research, note generation/rewrite, verification, authorized account analysis, QR login and controlled publishing.

Rust dev domain plugin for DeepSeek Harness (dsh): verification pyramid fmt→clippy→build+test→miri+audit(+semver) as model-facing tools + graph-layer governance (anti-Goodhart 8 rules incl. #[allow] density / deleted tests, blind-spot via Cargo.toml & pub

Linux kernel dev domain plugin for DeepSeek Harness (dsh): verification pyramid L1-L4 as model-facing tools + graph-layer governance (anti-Goodhart / blind-spot / patch-conflict) + AGENTS.md contract as a system-prompt section. Plain JS, no build step.

Open plugin marketplace: live GitHub dsh-plugin topic search with per-repo package.json verification (dsh.bundle/dsh.client manifest badges and a verified-only filter), npm-first installs with same-source anti-squatting checks, update detection, and five agent tools for headless use.

Anti-bot HTTP fetch tools hardened by SXS's production scraping stack (millions of requests/day): UA-pool rotation, retry with exponential backoff, anti-bot wall detection (captcha / verification challenges) and adaptive rate limiting — tools: `sxs_fetch` / `sxs_fetch_json` / `sxs_rate_status`.

Turns local markdown and text documents into a queryable knowledge base with hybrid semantic and keyword search, citation verification, and source injection.

Model-agnostic visual-inspection pipeline for text-only agents: page-by-page HTML screenshots plus a ready-made vision-subagent briefing contract (gewu_prep), then source-code truth verification of every finding (gewu_locate); validated on mimo-v2.5 & qwen3.7-plus.

DeepSeek Harness community Bundle for the BeforeDone evidence gate

Conversational DSH plugin finder: four-source unified index, BM25 pre-filter plus LLM semantic ranking, candidates carry evidence grades and local static security audit, safe install flow with post-install verification.

Verification-driven self-evolution loop: failure logs become verified AGENTS.md rules; in-session plugin (evolve_learn / evolve_apply / evolve_touch / evolve_recall), tool-verify gate, rule lifecycle, local recall.

Verification toolkit for DSH agents: evidence-based claim checking against workspace files with line citations, config validation (JSON/YAML), and read-only URL/npm/GitHub submission-readiness probes.

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

Multi-agent deep long-form article pipeline skill for DeepSeek Harness, running 7 roles across 5 phases with parallel literature/data/case retrieval, an evidence base, independent audit and human verification gates.

Spec-driven development discipline for dsh: five keel skills (anchor/spec/probe/build/audit), three review tools and six spec templates enforce specs-before-code, assumption verification and scope control.