プラグイン

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

設計書や計画をコードベースの事実と照合する主張検証スキル。振る舞いに関する主張は状態機械やデータモデル向けの実行可能なロジックプリミティブ検証へエスカレーションし、前後比較のリグレッション、ドメイン制約、並行性リスクのマイニングも行います。

Turns what a design, plan or document claims into a model and decides it: UML diagrams rendered, read and reviewed; state machines, protocols and data models checked as models; migrations tested for coverage and rollback symmetry; concurrency claims mined and routed to the checker that can decide them; dependency graphs audited; reports diffed.