Communitygithub.com

mirage-project/mirage

Utilisez ceci lorsque vous avez besoin d'un noyau CUDA MPK NOUVEAU ou optimisé (un fichier `.cuh` par tâche sous `include/mirage/persistent_kernel/tasks/`) qui doit PROUVABLEMENT surpasser une cible SANS que l'optimiseur de noyau ne triche à son propre test de correction. Il s'agit du système Ferret à verrouillage gelé — une orchestration à 3 agents (répartiteur → rédacteur de test indépendant → optimiseur) qui rend structurellement impossible le fait que « l'optimiseur livre un noyau à mathématiques simplifiées et auto-déclare un test réussi ». Déclencheurs — formulations comme « dispatch ferret to optimize ».

Qu'est-ce que mirage ?

Ce skill, défini pour le projet mirage, est utilisé lorsque vous devez créer ou optimiser un noyau CUDA MPK (un fichier `.cuh` spécifique à une tâche sous `include/mirage/persistent_kernel/tasks/`). Il est conçu pour garantir que le noyau optimisé surpasse PROUVABLEMENT une cible de performance, tout en empêchant l'optimiseur de tricher à son propre test de correction. Le système Ferret utilise une orchestration à trois agents : un répartiteur qui analyse la demande, un rédacteur de test indépendant qui élabore un test de correction (souvent via une approche de simplification mathématique), et un optimiseur qui génère le noyau. L'architecture rend structurellement impossible pour l'optimiseur de soumettre un noyau simplifié et de revendiquer un test réussi, car le test est écrit indépendamment. Il est particulièrement utile pour les développeurs travaillant sur des noyaux CUDA hautes performances dans le cadre du projet mirage.

Compatible avec~Claude Code~Codex CLI~Cursor
npx skills add mirage-project/mirage

Demander à votre IA préférée

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

Documentation

Que fait mirage ?

Utilisez ceci lorsque vous avez besoin d'un noyau CUDA MPK NOUVEAU ou optimisé (un fichier .cuh par tâche sous include/mirage/persistent_kernel/tasks/) qui doit PROUVABLEMENT surpasser une cible SANS que l'optimiseur de noyau ne triche à son propre test de correction. Il s'agit du système Ferret à verrouillage gelé — une orchestration à 3 agents (répartiteur → rédacteur de test indépendant → optimiseur) qui rend structurellement impossible le fait que « l'optimiseur livre un noyau à mathématiques simplifiées et auto-déclare un test réussi ». Déclencheurs — formulations comme « dispatch ferret to optimize ».

Skills associés