Communitygithub.com

mirage-project/mirage

需要新的或優化的 MPK CUDA 核心(位於 include/mirage/persistent_kernel/tasks/ 下的 per-task .cuh 檔案)時使用,該核心必須可證明地超越目標,且不允許核心優化器作弊通過自身的正確性測試。這是凍結閘門的 Ferret 系統——一個三代理協調機制(調度器 → 獨立測試編寫者 → 優化器),從結構上杜絕「優化器提供簡化數學核心並自行報告通過測試」的可能性。觸發方式:使用類似「調度 ferret 進行優化」的表述。

mirage 是什麼?

這個技能實現了一個名為「Ferret」的三代理協作系統,專為 mirage-project/mirage 專案中的 MPK CUDA 核心(特別是 include/mirage/persistent_kernel/tasks/ 目錄下每個任務專屬的 .cuh 檔案)進行優化或創建新的核心。其核心價值在於防止優化器在正確性測試中作弊——傳統模式中優化器可能上傳簡化數學版本並自欺欺人地報告測試通過,而 Ferret 透過「調度器 → 獨立測試編寫者 → 優化器」的凍結閘門架構,確保測試由獨立的代理編寫,優化器無法同時控制測試與核心邏輯。因此,任何輸出的核心都必須可證明地超越目標性能,且通過由不同代理獨立撰寫的正確性測試。此技能支援在 CLI、Cursor、Codex 等平台上使用,觸發詞為「dispatch ferret to optimize」。

相容平台~Claude Code~Codex CLI~Cursor
npx skills add mirage-project/mirage

在你喜歡的 AI 中提問

開啟一個已預先載入此 Agent Skill 的新對話。

說明文件

mirage 是做什麼的?

在你需要一個新的或優化的 MPK CUDA 核心(位於 include/mirage/persistent_kernel/tasks/ 下每個任務專屬的 .cuh 檔案)時使用,該核心必須可證明地超越目標,且不允許核心優化器在自身的正確性測試中作弊。這是凍結閘門的 Ferret 系統——一個三代理協調機制(調度器 → 獨立測試編寫者 → 優化器),從結構上杜絕「優化器提供簡化數學核心並自行報告通過測試」的可能性。觸發方式:使用類似「dispatch ferret to optimize」的表述。

相關技能