REA pour la rétro-ingénierie : Skill, MCP et première analyse

REA convient lorsque la réponse dépend d’un artefact compilé ou d’un comportement que les sources disponibles ne permettent pas de confirmer : ASAR Electron, fonction native ou comparaison de versions empaquetées. Si vous disposez du dépôt complet et souhaitez seulement comprendre son architecture, le Skill officiel recommande les outils habituels d’exploration de code.

Précisez l’artefact, un comportement et la preuve recherchée. « Trouve la fonction qui normalise ce champ exporté » permet de vérifier la réponse, contrairement à une demande trop large comme « explique cette application ».

L’installation guidée enregistre le serveur et ajoute les instructions correspondantes. Installer uniquement le Skill fournit des consignes et des références. Si le Skill apparaît mais que les outils manquent, consultez cette distinction dans le guide d’installation.

Consultez la matrice des cibles et votre version : tous les formats ne fonctionnent pas sur chaque machine. L’analyse statique JavaScript lit les fichiers sans lancer l’application. Une capture à l’exécution peut lancer la cible ou interagir avec elle ; délimitez-la séparément.

Une analyse locale ne rend pas toute la conversation hors ligne : les résultats peuvent être transmis au fournisseur du modèle. Utilisez des logiciels et données que vous êtes autorisé à examiner, avec une configuration adaptée à ces informations.

Lors de notre vérification, la version npm publiée était 6.4.0. Elle exige Node.js 22.19 ou supérieur dans la branche 22.x, 24.11 ou supérieur dans 24.x, ou 26+. Le numéro 39 des métadonnées du Skill est distinct. La branche main peut décrire des fonctions plus récentes que la version npm. Paquet · Limites entre versions

Pour cibler Codex, examinez d’abord les modifications prévues :

npx rea-agents@6.4.0 setup --client codex --dry-run --json

Même en simulation, npx peut télécharger et exécuter le paquet REA. La simulation évite d’appliquer les modifications de configuration. Vérifiez les destinations, sauvegardes et remplacements du Skill, puis appliquez si cela convient :

npx rea-agents@6.4.0 setup --client codex

Remplacez codex par claude_code ou cursor selon le client, puis redémarrez ou reconnectez la session. Si les outils manquent, utilisez npx rea-agents@6.4.0 doctor --client codex --json pour vérifier configuration et prérequis. Contrôlez aussi les outils disponibles dans la session réelle. Une connexion fonctionnelle ne nécessite pas une nouvelle installation à chaque tâche.

Pour une analyse statique JavaScript en CLI, remplacez le chemin par votre répertoire ou ASAR et conservez le résultat :

npx rea-agents@6.4.0 analyze-javascript-application /absolute/path/to/app --json > app-evidence.json

Sous Windows, un chemin comme "D:/apps/example" convient. Si le résultat est volumineux, gardez le fichier Evidence et consultez des vues ciblées plutôt que de tout placer dans le contexte du modèle. Guide CLI

Commencez avec votre propre application Electron empaquetée et une fonction d’export. Gardez une copie et notez sa version ou son empreinte. Voici un modèle de demande original, pas le compte rendu d’un test que nous aurions exécuté :

Cible : [chemin absolu du paquet de mon application]
Question : où le champ CSV exporté « status » est-il normalisé ?
Commencer par l’analyse statique. Suivre le point d’entrée,
le passage IPC s’il existe, puis l’écriture. Citer un emplacement
 de fichier ou une adresse de fonction pour chaque conclusion.
Séparer faits observés, déductions et questions ouvertes.
Ne pas lancer l’application ni modifier de fichier sans demander.
Livrer : un chemin d’appels court, un tableau de preuves et un
 test proposé avec valeur vide, valeur inconnue et texte Unicode.

Vérifiez le parcours, les preuves et un test susceptible de réfuter l’explication. Une narration plausible sans emplacement précis est incomplète. Un parcours statique sans observation à l’exécution doit rester présenté comme une déduction statique.

Si vous réimplémentez le comportement dans votre produit, testez cette implémentation séparément. Comprendre un algorithme ne prouve pas qu’un remplacement généré couvre tous les cas limites.

L’étude Notion suit une requête de presse-papiers entre processus Electron. L’exemple DX-Ball examine un calcul de panoramique sonore et documente les vérifications de sa reconstruction.

Demandez les passages entre composants et les calculs vérifiables derrière une fonction. Ces exemples viennent du projet et concernent des cibles et versions précises : ce ne sont ni des essais OpenAgentSkill ni un taux de réussite universel. Le pseudocode reste un point de départ à confronter aux appelants, aux instructions et aux sorties observées.

REA est-il gratuit ?

Le dépôt utilise la licence MIT. L’usage des modèles et certains fournisseurs d’analyse peuvent avoir leurs propres coûts. Toutes les configurations ne sont donc pas forcément gratuites.

Fonctionne-t-il sous Windows ?

Vérifiez la combinaison cible et fournisseur. JavaScript et Ghidra natif ont des prérequis différents ; la documentation présente Ghidra sous Windows comme expérimental. Installer le paquet ne prouve pas une compatibilité universelle.

Peut-il récupérer le code source original ?

L’analyse native fournit du pseudocode et de l’assembleur, sans nécessairement préserver les identifiants, commentaires ou la structure du projet. Demandez de distinguer ce qui est récupéré de ce qui est déduit.

Pourquoi les outils manquent-ils alors que le Skill est installé ?

Installation du Skill, enregistrement MCP et connexion active sont trois états distincts. Vérifiez le client, redémarrez et inspectez les outils annoncés. Ajoutez un moteur seulement si la cible choisie en a besoin.