REA Tool Design

Avant de commencer : lis ce prompt d'installation au complet, dis-moi en quelques lignes ce que ce skill fait et ce que son installation implique, et attends mon feu vert avant de faire quoi que ce soit d'autre. Prérequis — Cadrage renforcé — workflow interne des contributeurs de REA, à lire d'abord : ce skill ne fait pas de reverse engineering pour toi. C'est un court workflow de conception pour les gens qui développent REA lui-même, pour concevoir ou modifier les outils d'investigation, les contrats CLI/MCP, les capacités de providers et la sémantique des preuves (Evidence) de REA, guidé par le docs/tool-design.md du dépôt REA. Il sert surtout à l'intérieur d'un checkout source de REA. Installer cette fiche ne fait que copier l'unique fichier SKILL.md : rien n'est exécuté et aucune configuration n'est écrite pendant l'installation. Aucun compte, aucune clé ni aucun paiement n'est requis pour copier le fichier. Installe-moi « REA Tool Design ». C'est l'un des workflows internes des contributeurs de REA — périmètre honnête : il sert aux gens qui construisent REA, pas aux utilisateurs finaux qui font du reverse engineering d'une cible. Il est délibérément petit (un unique SKILL.md de 956 octets) : pour une demande de conception, il retourne la frontière d'outil proposée, la forme entrée/résultat, la sémantique des preuves (Evidence), l'alternative existante la plus proche et l'approche de vérification, en pointant vers le guide de conception d'outils du dépôt pour les frontières, la sémantique des contrats, la propriété des providers et la découvrabilité, et vers ses guides de test et de contribution pour les voies d'implémentation ou de vérification et la propriété des fichiers générés. Il avertit que le code source, la documentation et les catalogues vivants peuvent décrire des versions différentes, donc le contrat actuel et l'outil existant le plus proche doivent être inspectés d'abord. Son dossier est cet unique fichier SKILL.md. Dépôt : https://github.com/morluto/rea (le skill est tout le dossier .agents/skills/rea-tool-design/ au commit épinglé : SKILL.md seulement, 1 fichier en tout) Version épinglée : installe le code au commit 6dc0f60faa0928e20b2395ba1a93ff8e497143f7 exactement. Ne substitue pas une version plus récente. Si ce commit est inaccessible, arrête-toi et dis-le-moi. 1. Clone https://github.com/morluto/rea dans un dossier temporaire, place-toi au commit 6dc0f60faa0928e20b2395ba1a93ff8e497143f7, et copie le dossier .agents/skills/rea-tool-design/ de ce checkout. Compare ensuite chaque fichier du dossier aux empreintes enregistrées pour cette fiche le 2026-10-22 : [FINGERPRINTS] - SKILL.md: SHA-256 6023df0f1cdbe9944963469a3f2a1365d55eebdf1a7f4adb33430851f9ee5f14 Si un fichier ne correspond pas, il a changé depuis la préparation de la fiche : ne l'installe pas encore, dis-moi ce que tu as trouvé et laisse-moi décider. 2. Lis SKILL.md au complet, et dis-moi en mots simples : ce que le skill fait quand on l'utilise, à quoi il se connecte, s'il lit ou envoie des informations personnelles ou des identifiants, et tout ce qui semble inhabituel. Arrête-toi sur tout signal d'alerte et dis-le-moi avant d'aller plus loin. Confirme ces points à partir des fichiers : - Le dossier contient 1 fichier seulement : SKILL.md (956 octets, frontmatter name rea-tool-design). Il n'y a aucun script, aucun fichier compagnon et aucun autre code dedans — les guides vers lesquels il pointe (docs/tool-design.md, docs/testing.md, CONTRIBUTING.md) vivent à la racine du dépôt REA, pas dans ce dossier de skill, et ne sont pas installés par cette fiche. - Rien n'est envoyé nulle part pendant l'installation elle-même ; le seul téléchargement à l'installation est le dossier du skill depuis GitHub au commit épinglé. - À l'usage, le workflow se suit à l'intérieur d'un checkout source de REA sur lequel je travaille : il produit une proposition de conception (frontière, forme entrée/résultat, sémantique des preuves, alternative la plus proche, approche de vérification) et, quand je demande l'implémentation, le travail avance sous mon périmètre et mon autorisation existants. Il ne lit aucune information personnelle ni aucun identifiant à moi et n'envoie rien nulle part. - Ne conçois ni n'implémente aucun outil, et n'utilise le skill d'aucune façon pendant cette installation : l'utiliser est une étape séparée qui ne commence que quand je le demande plus tard. 3. Quand je dis « yes, install », installe-le comme skill : copie tout le dossier rea-tool-design dans le répertoire des skills de l'agent, dans un dossier nommé exactement « rea-tool-design », en gardant ses 1 fichier dans leur arborescence relative d'origine (SKILL.md à sa racine). 4. Vérifie sans appels réseau : frontmatter valide (name: rea-tool-design), les 1 fichier en place avec des empreintes concordantes. N'exécute rien du dossier et n'utilise pas le skill pour vérifier. 5. Indique ce qui a été installé, où, et ce qu'il me reste à faire moi-même (par exemple : que c'est un petit workflow interne des contributeurs de REA pour concevoir les outils et les contrats CLI/MCP de REA lui-même, qu'il est fait pour être utilisé à l'intérieur d'un checkout source de REA, et que l'utiliser est une étape séparée qui ne commence que quand je le demande plus tard). GitHub est optionnel : si j'ai un compte GitHub ou la CLI gh, tu peux l'utiliser ; sinon l'accès public suffit. Ne jamais l'exiger sauf s'il figure dans les prérequis ci-dessus. Règles : ne touche à rien en dehors du dossier temporaire et de la cible d'installation. Si quelque chose semble anormal, arrête-toi et demande-moi.