Communitygithub.com

mirage-project/mirage

新しいMPK CUDAカーネル(`include/mirage/persistent_kernel/tasks/`下の`.cuh`ファイル)の作成または最適化が必要で、かつカーネルオプティマイザーが自身の正しさを偽装できないことを証明可能にしたい場合に使用します。これは凍結ゲートのFerretシステム(ディスパッチャー→独立テストライター→オプティマイザーという3エージェント構成)であり、「オプティマイザーが簡略化されたカーネルを出荷し、自己申告でテスト合格とする」ことを構造的に不可能にします。トリガーフレーズ例:

mirage とは?

このスキルは、mirageプロジェクトにおけるMPK CUDAカーネルの新規作成または最適化を、オプティマイザーによる不正(簡略化されたカーネルでテストを通過したように偽装する行為)を構造的に防止する形で実行します。Ferretシステムとして知られるこのフレームワークは、ディスパッチャー、独立テストライター、オプティマイザーの3つのAIエージェントが連携し、オプティマイザーが自己申告でテスト合格を宣言できないようにします。ユーザーは「dispatch ferret to optimize」などのフレーズでこのシステムを起動でき、Claude Code, Cursor, Codexなどの開発環境で使用可能です。ターゲットとなるカーネルよりも高速であり、かつ正確であることが証明可能なカーネルを生成することを目的としています。

対応~Claude Code~Codex CLI~Cursor
npx skills add mirage-project/mirage

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

mirage は何をしますか?

新しいMPK CUDAカーネル(include/mirage/persistent_kernel/tasks/下のタスクごとの.cuhファイル)の作成または最適化が必要で、かつカーネルオプティマイザーが自身の正しさをテストで偽装することを証明可能に打ち負かす必要がある場合に使用します。これは凍結ゲートのFerretシステムです。3エージェント構成(ディスパッチャー→独立テストライター→オプティマイザー)により、「オプティマイザーが簡略化された数学カーネルを出荷し、自己申告でテスト合格とする」ことを構造的に不可能にします。トリガーフレーズ例:「dispatch ferret to optimize」

関連スキル