プラグイン

ARIS リサーチワークフロースキルを DeepSeek Harness バンドルとして提供: 82 種類のスキルと、Codex を介したモデル横断の敵対的レビュー。

DeepSeek Harness 向けの可視化された円卓会議—リング上に配置された専門ノードと有向エッジ、集約ゲートウェイ、ブラックボックスの worker models 向け proxy thinking、そして確定済み計画に対する adversarial review（red-team）と、各視点ごとの endorse/reject。

敵対的チェック → 修正 → レビューのループを回すツールセット。

敵対的チェック → 修正 → レビューのループです。

エージェントモードとしてのディープリサーチ：計画を立案し、研究者自身が宣言するギャップによって駆動される適応的な並列ラウンドで調査し、出典付きレポートを統合してから敵対的にレビューする、1つのレビュー済みループです。モデルが呼び出しごとに書き換えるスクリプトではありません。ラウンド予算に届かなかった質問は、削除されずレポートに明記されます。

多角的な構造分析スキル。16 のレンズを 4 つのカテゴリで用いる adversarial-first 分析、10 個の構造ツール、信頼度の較正、事実に紐づく階層的出力を備える。

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はリポジトリのルートを指します。すべての結果に出所情報（エンジンバージョン、シード、許容誤差）が付き、信頼できないデータとしてマークされます。

純粋推論パスと新しいサブエージェントコンテキストでの敵対的検証子、較正された信頼度出力（高 / 中 / 正直な「信頼できる解なし」）で競技数学（IMO/Putnam/USAMO/AIME）を解く。LaTeX から PDF へのレンダリングもオプションで対応。

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

正・反・裁定のディベートを実行し、その判定は実際のコマンド終了コードとケース数から計算され、エージェントの文章からは決して導かれません。

フォーマルな討論を開催することで難しい質問に答える。2 つの敵対的サブエージェントが調査に基づき反対側を論じ、メインエージェントが debate_open、debate_round、debate_verdict ツールで議事録を裁定する。

HarmonyOS delivery orchestration for DSH: freezes a four-dimension acceptance pack whose measurable criteria carry machine-checkable assertions, runs an adversarial pre-review before dispatch, hands the work to DevEco Code in Goal mode, then audits the delivery with independently gathered evidence (screenshots, UI tree, logs, hashed evidence bundle), recomputing assertion verdicts against measured values and filing rework orders; includes a cited rule catalog, a user-confirmation state and a gate calibration ledger.

DeepSeek Harness 向け adversarial review：確定済みの計画を一つ提示し、観点別の読み取り専用 red-team expert に検証させ、指摘を個別の欠陥に分けて一つずつ承認／却下します。計画を書き換えず、コードも修正しません。

あらゆる計画用のコマンド起動型レッド/ブルー敵対的レビュー（数量限定ではありません）。/plan-adversarial <plan>：2 つの独立したサブエージェント（red=攻撃、blue=防御）を導出させ、th なしで合意された計画に収束させることを要求するゲート

ツール呼び出しの敵対的レビューゲート。tools/pre-executeに接続し、破壊的コマンド（rm -rf、git push --force、git reset --hard、DROP TABLE、format、ディスク書き込み）と機密パス（.env、id_rsa、.ssh、.git/、$DSH_HOME）をローカルregexで先に即時検査します。一致した場合だけレビューmodelを1回呼び、allowまたはdenyを返します。通常の読み取りと書き込みはこの経路に入らず遅延も増えません。各判定はWeb GUIにライブ表示されます。

敵対的コードレビュー：独立した視点（正確性、ライフサイクル、契約、セキュリティ）のfinderが並列でdiffを調査し、各指摘を別のverifierが反証します。反証された指摘は除外されます。

多視点の敵対的コードレビュー：正確性/セキュリティ/保守性の各視点がdiffを検査し、重大度を決定論的に評価。抑制ルールと段階的なレビュー履歴にも対応します。