プラグイン

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

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).

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

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

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

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

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

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

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

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.

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