プラグイン

DeepSeek HarnessのWeb GUIでエージェントのHTML出力を実際のUIとしてレンダリング。ビジュアルカード、KaTeX数式、Mermaidダイアグラム、オープンソースフォント内蔵、デザインスペック注入機能。

数学モデリングコンテスト向けマルチエージェントワークフロー: 「UltraMath」プリセットが問題読解からフレームワーク、導出、コーディング、検証、ペーパー、レビューまでを実行。4 つの単一ステージ役割プリセット（数学者、エンジニア、ライター、レビュアー）と 33 個のモデルライブラリスキルドキュメントも同梱。

DSH 向けのマルチエージェント数学研究プリセットを 4 つインストールします。v2（複数検証者による討論を伴う確率駆動パイプライン）、v3（プランナーエージェントと再利用可能な手法ライブラリを備えた論文形式の Markdown 知識ベース）、v4（メッセージを送り合い会合する永続的な自己組織化レジデント）、v5（academician が作業を分解・割り当てし、研究者が投票し、臨時ワーカー、グループチャット、compare-and-set タスクボードを備えた研究所）。4 つすべてがチェックポイントからの再開、人間の介入、任意の Lean 形式検証スイッチ（off/encourage/require）に対応し、証明が通ると投票が Lean 記述の忠実性チェックになります。

DeepSeek Harness 向けのゲート付き数理モデリング技能セット。ステージゲート付きの5段階パイプライン、受賞論文の執筆パターン、感度分析、統計診断、コンテスト用プリセットを備える。

安全な数式評価器。依存ゼロの再帰下降パーサーによる実装。

RigorQuant プリセット+スキルパック。実証・計算数学(経済学、金融、ポートフォリオ)向けの、無人かつ隔離されたマルチエージェントリサーチを行います。実装前の4段階チェックバッテリーと、ヤコビアン/Lean へのエスカレーションレーンを備えます。

DeepSeek Harness用のMath Agent Framework：記号導出エンジン（CES／二次形式／ODE／PDE）、SymPyによる検証、Lean 4コンパイラ検証済みの形式証明、QEDスタイルのマルチエージェント敵対的検証を提供し、Pythonエンジンを橋渡しするTSシェルを通じてネイティブDSHツールとして公開。math-agent-frameworkリポジトリのクローンと`pip install -r requirements.txt`が必要で、MATH_AGENT_HOMEはリポジトリのルートを指します。すべての結果に出所情報（エンジンバージョン、シード、許容誤差）が付き、信頼できないデータとしてマークされます。

DSHエージェント向け金融データツールキット：数値と通貨の書式設定（中国語のwan/yi単位を含む）、リターンとCAGR計算、評価と収益性の比率、PV/FV、リスク指標、データ品質チェックリスト。

MathWorks MATLAB/Simulink MCP サーバーを dsh プロファイルに登録し、エージェントセッションが MATLAB コードの実行と Simulink モデルの読み取り、編集、テストのための mcp__matlab__* ツールを取得できるようにする。

Markdown、テーブル、チャート、中国省別地図、フローチャート、数式、ドリルダウンテーブルから自己完結型のインタラクティブ HTML レポートを生成——DeepSeek Harness（dsh）プラグイン。

中国の64種類の試験(高考/大学院入試/四級・六級/公認会計士/司法試験など)を、ルールを考慮した日付計算(第2土曜日、第1日曜日など)とカウントダウン付きで照会できます。

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

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

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

DeepSeek Harness 向けの Manim 数学プラグイン。

Three tools for DeepSeek Harness: typeset LaTeX formulas into images, draw mathematical figures from a declarative spec, and convert a formula or SVG into an image ready to embed in a document.

NumPy/SciPy 科学计算工具 — 以 DSH Cordis 插件形式集成，模型通过 math_compute 工具发起任意 NumPy/SciPy 运算

Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).

Local-life toolkit for DSH agents: budget planning, bill splitting, unit-price and discount math, common unit conversions (jin/li/chi, C/F, L/gallon), and trip checklists.

純粋な日付計算による繰り返し習慣のスケジューリング。次回の日程、期間スケジュール、期限超過時のアドバイスに対応します。