プラグイン

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

DeepSeek Harness(dsh)向けの、ハッシュアンカー方式の read/edit/batch_edit/undo_last_edit ツール。各行に一意な3文字ハッシュ(A-Za-z0-9)が付与され、編集を経ても安定して維持されます。古くなった、あるいは曖昧なアンカーは拒否され、あいまい一致は行いません。取り消し操作は再起動後も保持されます。

プロンプト・ツール引数・結果テキストを保存せず、ターンごとのツール呼び出し件数と大まかな検証シグナルのみをローカル JSONL として記録。

フェイルクローズド設計の Feishu（Lark）チャネルブリッジ: ボットとチャットすると dsh エージェントのターンが返ってくる。公式 Python SDK のみを使用した統合（バージョン厳密固定）。デフォルト拒否のアローリスト、webhook の署名/タイムスタンプ/リプレイ検証、チャットごとの固定セッション、バイリンガルドキュメント付き。

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.

プラグインストア。npm を正規カタログとし、awesome の厳選リスト(550以上のプラグイン、11カテゴリ)と組み合わせ、dsh フィールドによる品質検証、公式の `dsh plugin add/remove` によるワンクリックインストール、サイドバーと設定画面からのアクセスを提供します。

エンジニアリング規律のガード。最初の編集前に要件を徹底的に問い詰め、red/green テストのエビデンスゲートを強制し、フォークした敵対的エージェントで成果物を監査します(grill-requirements スキル + ツールポリシーゲート)。

セッション実行の分析: ステップ数、ツール呼び出し、失敗、繰り返し操作、token 使用量、検証シグナルを text/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).

実計算による検証ゲート。数式の簡約、論理証明、正規表現検証、E-prover による一階述語論理、状態機械チェック、コード修復に対応し、Go でコンパイルされたバイナリ(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.