プラグイン

Remote-SSHスタイルのワークスペース：SSHホストとリモートディレクトリをネイティブDSHワークスペースに変換します。エージェントは12個のrw_*ツール（SFTP/exec）経由でリモートファイルシステムを直接操作し、ワークスペースに限定されたパスとknown_hosts検証を利用します。

DSHエージェント向けの検証ゲート:完了ゲートがゴールを通過させる前に、すべての受け入れ基準がサーバー印付きの実際のツールエビデンスで裏付けられている必要があります(勧告的監査、強制ゲート、永続的許可)。

Xiaohongshu/REDのバズノート用エージェントスキルをバンドル：ホットノート調査、ノートの生成/書き換え、検証、認証済みアカウント分析、QRログイン、制御された公開。

DSH 向けの証拠駆動型の企業・求人デューデリジェンス：証拠レベル付きで情報源を記録し、証拠で範囲を限定した主張を追加し、公式登記と法人実体を照合し、検証チェックリストと面接質問を含む PROCEED/VERIFY/STOP レポートを描画します。

DeepSeek Harness (dsh) 向け Rust 開発ドメインプラグイン：検証ピラミッド fmt→clippy→build+test→miri+audit(+semver) をモデル向けツールとして提供 + グラフ層ガバナンス（anti-Goodhart 8 ルール：#[allow] 密度／削除済みテストを含む、Cargo.toml および pub 経由の blind-spot

DeepSeek Harness (dsh) 向け Linux カーネル開発ドメインプラグイン：検証ピラミッド L1〜L4 をモデル向けツールとして提供 + グラフ層ガバナンス（anti-Goodhart／blind-spot／patch-conflict）+ AGENTS.md コントラクトをシステムプロンプトセクションとして組み込み。プレーン JS、ビルドステップ不要。

dsh 向けの spec-driven 開発規律: 5 つの keel スキル（anchor/spec/probe/build/audit）、3 つのレビュー ツール、6 つの spec テンプレートにより、コードより先に仕様を書くこと、前提の検証、スコープ管理を徹底します。

SXS の本番スクレイピングスタック（1 日数百万リクエスト）で強化されたアンチボット HTTP 取得ツール：UA プールのローテーション、指数バックオフ付きリトライ、アンチボット壁の検出（CAPTCHA / 検証チャレンジ）、適応型レート制限。ツール: `sxs_fetch` / `sxs_fetch_json` / `sxs_rate_status`。

エージェント成果物のための独立したブラウザー受け入れテスト。JSON 仕様を入力し、実際の Chromium の判定を出力します。

実計算による検証ゲート。数式の簡約、論理証明、正規表現検証、E-prover による一階述語論理、状態機械チェック、コード修復に対応し、Go でコンパイルされたバイナリ(Windows 向けビルド済み実行ファイル同梱)で動作します。

DSH GUI Toolkit — Windows desktop control tools for DeepSeek Harness (DSH): screen layout, annotated screenshot, single-window capture, click / drag / type / key / scroll, semantic verification, window management, and UI Automation structured queries. Thi

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

SMS forwarding webhook for DeepSeek Harness. Phone apps (SMS Forwarder, Tasker, or any HTTP POST) push messages to a local HTTP endpoint; the plugin stores them as JSONL and exposes sms_recent / sms_search tools so the agent can read SMS verification codes during tasks. Auto-extracts the first 4-8 digit OTP from each message, supports keyword filtering, and works over LAN or Tailscale.

DeepSeek Harness 向けのエンドツーエンドな TypeSafe Jev（System One 意思決定モデル）：jev_decision（choice/score/noul、並列、型付き回答＋確信度）、API キーとスイッチ用の「設定 > プラグイン」カード、会話中のすべての意思決定（回答、確信度、レイテンシ、コスト）を表示するインラインツールビュー、自動ガード（決定論的検査＋Jev のリスク／ループ検査）、ローカルの /jev ダッシュボード、オンライン検証ベンチマーク（27 のラベル付き質問で 96.3%、jev-latest で中央値約 283 ms、2026-09-21）。設計上正直であり、実際の API のみを使用してモックへのフォールバックは行いません。

Skill that fact-checks a claim against the open web rather than model memory: it splits the claim into independently checkable fact points, routes each point to the primary-source ladder for its domain (policy, academic, medical, financial, disaster and accidents, food safety, science, education, sports, entertainment, judicial, and more), searches domestic and international ecosystems in parallel, fetches primary pages, grades sources by type, re-searches with debunking keywords, and reports conclusion-first with a full URL and citation position behind every statement, keeping unverified and undecidable points separate from confirmed ones. Three factual judgements can be routed to a TypeSafe Jev (System One) decision model when a key is configured, falling back to the skill's deterministic rules when it is not; a model verdict can only lower a confidence tier.

Live Android device pane next to your DSH conversation: scrcpy-server H.264 streaming (WebCodecs, 30-60 fps), agent tap/swipe/text with auto-screenshot verification, uiautomator element tree with tap coordinates, host-managed recording + logcat debug sessions. FLAG_SECURE pages are detected automatically with a mitigation chain and a tappable text-view fallback. Emulators and USB real phones, human+agent co-operation, session-isolated, loopback-only.

Same-origin in mechanism with the two loudest lines in context compression. The code-skeleton gate follows the skeletonization approach of Headroom (Apache-2.0), whose published headline is 20% fewer tokens for coding agents and 60–95% fewer tokens for JSON, same answers. The estimator channel follows TokenPilot (arXiv:2606.17016), which reports up to 60% lower cost for long-session agents. Both figures are theirs, quoted as-is; this plugin ships no benchmark of its own and claims no reduction of its own. What it adds for DeepSeek Harness: choose a compression profile, set the Auto Compact trigger level and toggle code-skeleton compression from one settings section, with exact DeepSeek V4 tokenizer measurement, same-revision count verification, and fail-open behaviour that keeps the original tool results on unsupported models.

Agent preset plugin for DeepSeek Harness that triages every request, delegates implementation to an expert, and schedules parallel work through a dependency-DAG taskboard and a file-based message bus before an independent review gate. Ships with only 11 core experts out of the box; more expert teams (Agency agents EN/ZH, classic collections) are one-click downloads from the settings page over dual GitHub/CDN channels with sha256 verification.

Group-chat multi-agent orchestration console for DSH: autonomous decision-making, task dispatch, verification and iterative optimization for long tasks; bundles its own backend, installs with `dsh plugin add`.

Stability audit for installed dsh plugins: static risk grading (hook surface, startup work, inject, entry, dep ranges) plus optional isolated install verification.

Provisions the kimi-webbridge bridge daemon (auto-install with SHA-256 verification, auto-start) and registers a 25-action skill that drives the user's real browser through the local bridge.

Experience validation layer for DSH: zero-token collection of tool-failure/retry/search signals, AI refinement into verified skill books (three-layer verification), looked up at task start. Ships 10 trial skills and benchmark data (complex-task success 100% vs 60% bare).

Reliable todo panel that survives restarts (official panel only re-renders on write — fixed via projection pre-warm) with three-state completion verification: evidence exists → verified, fake evidence → blocked, no evidence → unverified badge; settings toggle to fall back to official behavior.

SMS forwarding webhook for DeepSeek Harness. Phone apps (SMS Forwarder, Tasker, or any HTTP POST) push messages to a local HTTP endpoint; the plugin stores them as JSONL and exposes sms_recent / sms_search tools so the agent can read SMS verification codes during tasks. Auto-extracts the first 4-8 digit OTP from each message, supports keyword filtering, and works over LAN or Tailscale.