プラグイン

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

DeepSeek Harness向けAI-for-Science研究ワークフロースキル。エージェント型AIを使う研究者や大学院生向け：角度別ファイル付きの多角的文献レビュー、注意点リスト付きの実験設計、図と論文の読解。各ジョブはファイルと2番目のモデル用のクロス検証ブリーフを返します。依存ゼロ、MIT。

DeepSeek Harness向け質問駆動型ディスカバリー研究ワークフロー：QDDエージェントプリセット、永続的な手動・自動実行、監査可能な研究パネルを備えています。

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