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.

Outils read/edit/batch_edit/undo_last_edit ancrés par hash pour DeepSeek Harness (dsh). Chaque ligne reçoit un hash unique de 3 caractères (A-Za-z0-9) qui reste stable au fil des éditions ; les ancrages obsolètes ou ambigus sont rejetés, jamais associés de façon approximative. L'annulation persiste après un redémarrage.

Écrit des résumés locaux au format JSONL du nombre d'outils par tour et de signaux de vérification approximatifs, sans stocker les prompts, les arguments d'outils ni le texte des résultats.

Pont de canal Feishu (Lark) à sécurité intégrée (fail-closed) : discutez avec un bot, recevez les tours de l'agent dsh en retour. Intégration reposant uniquement sur le SDK Python officiel (version épinglée exacte) ; liste blanche refusant par défaut, vérification de signature/horodatage/rejeu des webhooks, sessions collantes par discussion ; documentation bilingue.

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.

Boutique de plugins : catalogue faisant autorité npm + liste sélectionnée awesome (550+ plugins, 11 catégories), vérification qualité par champ dsh, installation officielle en un clic via `dsh plugin add/remove`, accès depuis la barre latérale + les réglages.

Garde-fou de discipline d'ingénierie : questionne les exigences avant la première modification, impose des jalons de preuve de tests rouge/vert, et audite la livraison avec un adversaire forké (skill grill-requirements + jalons de politique d'outils).

Analyse d'exécution de session : étapes, appels d'outils, échecs, actions répétées, utilisation des tokens et signaux de vérification, restitués sous forme de rapports texte/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).

Portes de vérification par calcul réel : simplification mathématique, preuves logiques, validation regex, FOL par E-prover, vérifications de machine à états et réparation de code, adossées à des binaires compilés en Go avec exécutables Windows prêts à l'emploi.

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.