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.

Herramientas read/edit/batch_edit/undo_last_edit ancladas por hash para DeepSeek Harness (dsh). Cada línea recibe un hash único de 3 caracteres (A-Za-z0-9) que se mantiene estable entre ediciones; los anclajes obsoletos o ambiguos se rechazan, nunca se emparejan de forma aproximada. Undo persiste entre reinicios

Escribe resúmenes JSONL locales con el recuento de herramientas por turno y señales de verificación aproximadas, sin almacenar prompts, argumentos de herramientas ni el texto de los resultados.

Puente de canal de Feishu (Lark) con seguridad ante fallos: chatea con un bot y recibe los turnos del agente de dsh. Solo SDK oficial de Python (versión fijada); lista de permitidos por defecto, verificación de firma/timestamp/repetición del webhook, sesiones fijas por chat; docs bilingües.

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.

Tienda de plugins: catálogo autoritativo de npm + lista curada awesome (más de 550 plugins, 11 categorías), verificación de calidad mediante el campo dsh, instalación con un clic con `dsh plugin add/remove` oficial, entrada en la barra lateral y en ajustes.

Guardián de disciplina de ingeniería: cuestiona a fondo los requisitos antes de la primera edición, exige evidencia de pruebas red/green, y audita la entrega con un adversario bifurcado (skill grill-requirements + políticas de herramientas).

Analítica de ejecución de sesión: pasos, llamadas a herramientas, fallos, acciones repetidas, uso de tokens y señales de verificación, presentados como informes en 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).

Puertas de verificación con cómputo real: simplificación matemática, demostraciones lógicas, validación de regex, FOL con E-prover, comprobaciones de máquinas de estados y reparación de código, respaldadas por binarios compilados en Go con ejecutables de Windows precompilados.

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.