プラグイン

セッション別GeoGebraキャンバス。作図/シーン読戻し/文字配置確認/アニメーション撮影のネイティブツール20個、数学スキル55個、オフライン素材を同梱。

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

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

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