REx@Skill - Compétence d'exécution agentique de rétro-ingénierie pour la découverte de vulnérabilités binaires
Trouver les défauts dans un binaire compilé — et les prouver.
Sept sous-agents, un arbre de preuves et une chaîne d'outils figée pour que deux exécutions soient comparables.
![]()
Ghidra · radare2 · rizin · qemu-user · angr · z3 · AFL++ · valgrind · capa · Unicorn · Triton · Frida · semgrep · clang · Python · Nix
tous figés, tous reproductibles
1 · Claude Code — passez cette étape si vous l'avez déjà.```bash curl -fsSL https://claude.ai/install.sh | bash
**2 · REx@Skill** — 1 compétence, 12 références, **7 sous-agents**, **33 scripts**.```bash
curl -fsSL https://raw.githubusercontent.com/tihanyin/REx-skill/main/install.sh | sh
3 · analyser un binaire.```bash claude
/re-analyze path/to/binary # one target /re-analyze path/to/directory/ # a whole corpus, evidence gathered in parallel
<div align="center">
<sub><code>install.sh</code> n'écrit que dans <code>~/.claude/</code> — la skill et ses 33 scripts de pipeline, les 7 agents, <code>/re-analyze</code>.<br>Il n'installe jamais Claude Code à votre place ; il sauvegarde tout ce qu'il écraserait, et <code>--uninstall</code> le supprime proprement.</sub>
</div>
<br>
<details>
<summary><b>Vous préférez cloner ?</b> · <i>ou l'installer ailleurs, ou le supprimer</i></summary>```bash
git clone https://github.com/tihanyin/REx-skill && cd REx-skill
./install.sh # into ~/.claude
./install.sh --prefix ~/.config/claude # somewhere else
./install.sh --uninstall # take it back out