プラグイン

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