REA für Reverse Engineering: Skill, MCP und erster Workflow

REA hilft, wenn die Antwort von einem gebauten Artefakt oder einem im vorhandenen Quelltext nicht belegbaren Verhalten abhängt. Beispiele sind Electron-ASARs, native Funktionen oder der Vergleich verpackter Versionen. Liegt das vollständige Repository vor und geht es nur um dessen Architektur, empfiehlt der offizielle Skill gewöhnliche Repository-Werkzeuge.

Benenne das Artefakt, ein Verhalten und den benötigten Beleg. „Finde die Funktion, die dieses Exportfeld normalisiert“ lässt sich besser prüfen als „Erkläre diese App“.

Die geführte Einrichtung registriert den Server und installiert passende Anweisungen. Ein Skill allein liefert Anweisungen und Referenzen. Ist der Skill sichtbar, fehlen aber Werkzeuge, prüfe diese Unterscheidung in der Installationsanleitung.

Prüfe die Zielmatrix und deine Version. Nicht jedes Format funktioniert auf jedem Rechner. Statische JavaScript-Analyse liest Dateien, ohne die Anwendung auszuführen. Laufzeitaufzeichnungen können das Ziel starten oder damit interagieren; dafür ist ein eigener Umfang nötig.

Lokale Analyse macht nicht die gesamte Unterhaltung offline: Ergebnisse können zum Modellanbieter des Agenten gelangen. Verwende Software und Daten, die du untersuchen darfst, und eine passende Modellkonfiguration.

Zum Prüfzeitpunkt war 6.4.0 auf npm veröffentlicht. Benötigt wird Node.js ab 22.19 innerhalb von 22.x, ab 24.11 innerhalb von 24.x oder ab 26. Die Skill-Metadatenversion 39 ist eine separate Nummer. Die Hauptbranch kann neuere Funktionen als die npm-Version beschreiben. Paket · Versionsgrenzen

Prüfe zunächst die vorgesehenen Änderungen für Codex:

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

Auch bei einem Probelauf kann npx das REA-Paket herunterladen und ausführen. Der Probelauf wendet die Konfigurationsänderungen nicht an. Prüfe Zielpfade, Sicherungen und den Skill-Austausch, bevor du sie übernimmst:

npx rea-agents@6.4.0 setup --client codex

Ersetze codex für andere Clients durch claude_code oder cursor und starte die Sitzung neu beziehungsweise verbinde sie erneut. Bei fehlenden Werkzeugen prüft npx rea-agents@6.4.0 doctor --client codex --json Konfiguration und Voraussetzungen. Kontrolliere zusätzlich die tatsächlich verfügbaren Werkzeuge der Sitzung. Eine funktionierende Verbindung benötigt nicht vor jeder Aufgabe ein neues Setup.

Für eine direkte statische JavaScript-Analyse ersetze den Pfad durch dein Verzeichnis oder ASAR:

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

Unter Windows ist etwa "D:/apps/example" möglich. Bewahre große Ergebnisse als Evidence-Datei auf und lies gezielte Ansichten, statt alles in den Modellkontext einzufügen. CLI-Anleitung

Beginne mit deiner eigenen gepackten Electron-App und einer Exportfunktion. Bewahre eine Kopie auf und dokumentiere Version oder Hash. Die folgende eigene Aufgabenvorlage beschreibt keinen von uns ausgeführten Test:

Ziel: [absoluter Pfad zum Paket meiner Anwendung]
Frage: Wo wird das exportierte CSV-Feld „status“ normalisiert?
Beginne statisch. Verfolge Einstiegspunkt, gegebenenfalls
IPC-Übergabe und Schreibfunktion. Belege jede Schlussfolgerung
mit Dateistelle oder Funktionsadresse. Trenne Beobachtungen,
Schlussfolgerungen und offene Fragen. Führe die Anwendung
nicht aus und ändere keine Dateien, ohne vorher nachzufragen.
Ergebnis: kurzer Aufrufpfad, Belegtabelle und Testvorschlag
mit leerem Wert, unbekanntem Wert und Unicode-Text.

Prüfe den Pfad, die Belege und einen Test, der die Erklärung widerlegen könnte. Eine plausible Erzählung ohne Fundstellen ist unvollständig. Ein statischer Pfad ohne Laufzeitbeobachtung bleibt eine statische Schlussfolgerung.

Implementierst du das Verhalten im eigenen Produkt, teste diese Implementierung separat. Ein verstandener Algorithmus belegt nicht, dass ein erzeugter Ersatz jeden Grenzfall korrekt abbildet.

Die Notion-Fallstudie verfolgt eine Zwischenablageanfrage über Electron-Prozessgrenzen. Das DX-Ball-Beispiel untersucht die Berechnung des Stereo-Panoramas und dokumentiert Prüfungen der Rekonstruktion.

Frage nach den Übergaben und überprüfbaren Berechnungen hinter einer Funktion. Diese Beispiele stammen vom Projekt und betreffen konkrete Ziele und Versionen. Sie sind weder Laufzeittests von OpenAgentSkill noch eine Erfolgsquote für beliebige Anwendungen. Pseudocode ist ein Ausgangspunkt, den Aufrufer, Instruktionen und beobachtete Ausgaben ergänzen.

Ist REA kostenlos?

Das Repository steht unter MIT-Lizenz. Modellnutzung und manche Analyseanbieter können eigene Kosten verursachen. Open Source bedeutet nicht, dass jede Konfiguration kostenlos ist.

Funktioniert es unter Windows?

Prüfe die Kombination aus Ziel und Anbieter. JavaScript und native Ghidra-Workflows haben andere Voraussetzungen. Die Dokumentation bezeichnet Ghidra unter Windows ausdrücklich als experimentell. Eine erfolgreiche Paketinstallation belegt keine universelle Unterstützung.

Kann REA den ursprünglichen Quelltext wiederherstellen?

Native Analyse kann Pseudocode und Assembly liefern, aber ursprüngliche Namen, Kommentare und Projektstruktur müssen darin nicht erhalten sein. Lass wiedergewonnene Informationen und Annahmen getrennt erklären.

Warum fehlen Werkzeuge trotz installiertem Skill?

Skill-Installation, MCP-Registrierung und aktive Sitzung sind getrennte Zustände. Prüfe Client-Registrierung, Neustart und angebotene Werkzeuge. Installiere zusätzliche Engines nur für Ziele, die sie benötigen.