プラグイン

DeepSeek Harness用OpenCode Goプラン利用状況モニター：フローティングWebドックのリアルタイム5時間ローリング/週次/月次クォータを表示。

ローカルの DeepSeek Harness エージェントが BailingHub を使用してデータを照会し、レコードを更新し、オンラインストア、SaaS、その他の管理システムで許可されたアクションを実行できるようにします。

DeepSeek Harness クレジットプラグイン：現在のモデルに追随し、公式残高 / OpenCode Go サブスクリプション使用量、本セッションの推定消費、セッション横断の累積消費、可視化設定を切り替えます。

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、ビルドステップ不要。

SCNet HPC向けDeepSeek Harnessプラグイン：SSHセットアップ、CPU/DCU Slurmジョブ、クラスタプロービング、コンピュートノード診断、Hygon DCU/DTKガイダンス。

フローティング式のブラウザローカルなクジラアーケード。3種類のスコアゲームと海洋テーマの五目並べで、エージェントを待つ間の休憩に。

DeepSeek Harness の Web 内プラグインマネージャー：カテゴリ化されたプラグイン一覧、ワンクリック切替のプリセットバンドル、インポート/エクスポート、失敗時自動ロールバック、ワンクリックインストールのプラグインマーケット。

ワークスペース自身のプロジェクト依存関係（npm/pip/go）に対するライブ CVE/サプライチェーン監査：OSV.dev をバックエンドに、cve_audit ツールとロックファイル変更時の任意自動再スキャンを提供。

厳密なオープン数学研究スイート。定理証明向けに、敵対的監査・研究プログラム管理・パイプライン編成・Lean 4 形式化監査を担う4つの agent skills（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify）を備え、CI 検証済みテストと機械的な upstream 同期を提供する。

テキスト専用 DeepSeek 向けのビジョンツールキット。モデルから呼び出せる `vision` ツール、deepseek/opencode-go 用ラッパーアダプタ（v4 flash/pro）、Antigravity IDE クォータ（default, flash/pro）/任意の OpenAI 互換 VLM / Gemini / ローカル Ollama チャネル、圧縮再復元付きの証拠メモリ、コンテンツハッシュキャッシュ、そしてバイリンガルのクライアントパネルを備える。

エージェント向けの引用ツール。DOI の正確な検索、Crossref の文献検索、GB/T 7714 / APA / MLA / Chicago 形式、BibTeX 生成、制約付き並行処理による DOI 検証とヘルスのセルフチェックを備えています。

すべてのAPIキーのOpenCode Goサブスクリプション使用量(ローリング/週/月)をリアルタイム表示するフローティングウィジェット。レート制限アラートと自動キープール検出機能を搭載。

コンポーザーツール行の右端にあるOpenCode Go残高ピル：Zen使用量エンドポイントから直接取得したローリング/週/月次クォータ残量を表示し、ホバーで詳細、警告/危険の色分けを行います。

dsh 向けの Command Code Go プロバイダーアダプター。Go プランのモデルカタログを動的にスキャンし、harness の LLM 機構経由で /alpha/generate を提供します。

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

Zero-token DuckDuckGo search provider for the DeepSeek Harness (DSH) web seam — local headless browser, no API key, no model billing

OpenCode gateway provider for DeepSeek Harness: the Zen pay-as-you-go plan and the Go subscription, with their settings UI

macOS desktop launcher with an installation skill: starts or reuses the local DeepSeek Harness web service and opens it in Google Chrome, with a transparent character and thought bubble icon.

Dependency tree summaries: npm / pip / cargo.

21 read-only lifecycle governance tools in one self-contained DSH plugin: task tiering, state/plan/evidence validation, gate precheck and aggregation, release/install audits, context and progress analysis, critical path, resume reconciliation, and a mutation preview that always denies execution. Installs from npm as @240xu/dsh-tech-lead.

Task monitor plus remote chat for DeepSeek Harness. Read sessions, background jobs, subagents, goal rounds, workflows and pending approvals from a phone-friendly page, and talk to any session from it: streamed replies, tool-call progress, stop at any time, switch sessions and models. Also ships a GUI sidebar panel.

Go (weiqi) review coach: parses SGF records, backfills winrate and score analysis with a bundled KataGo engine, explains the costly moves in the chat, and writes the commentary back into an SGF copy; a web panel shows the board with problem moves, AI choices and variations.