Plugin

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

Strumenti read/edit/batch_edit/undo_last_edit ancorati a hash per DeepSeek Harness (dsh). Ogni riga riceve un hash unico di 3 caratteri (A-Za-z0-9) che resta stabile tra le modifiche; gli ancoraggi obsoleti o ambigui vengono rifiutati, mai abbinati in modo approssimativo. L'undo persiste tra i riavvii

Scrive riepiloghi JSONL locali del conteggio degli strumenti per turno e segnali di verifica di massima, senza memorizzare prompt, argomenti degli strumenti o testo dei risultati.

Ponte per il canale Feishu (Lark) a chiusura sicura per fallimento: chatta con un bot e ricevi indietro i turni dell'agente dsh. Integrazione basata esclusivamente sull'SDK Python ufficiale (versione fissata); allowlist con negazione predefinita, verifica di firma/timestamp/replay dei webhook, sessioni persistenti per chat; documentazione 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.

Store dei plugin: catalogo ufficiale npm + lista curata awesome (550+ plugin, 11 categorie), verifica di qualità del campo dsh, installazione con un clic tramite l'ufficiale `dsh plugin add/remove`, voce in sidebar e nelle impostazioni

Guardia della disciplina ingegneristica: interroga a fondo i requisiti prima della prima modifica, impone gate di evidenza sui test red/green e verifica la consegna con un avversario biforcato (skill grill-requirements + gate delle policy sugli strumenti)

Analisi dell'esecuzione della sessione: passaggi, chiamate agli strumenti, fallimenti, azioni ripetute, utilizzo dei token e segnali di verifica, resi come report in testo/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).

Gate di verifica a calcolo reale: semplificazione matematica, dimostrazioni logiche, validazione con regex, FOL con E-prover, verifiche di macchine a stati e riparazione del codice, basati su binari compilati in Go con eseguibili Windows precompilati

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.