REx@Skill - Agentic Reverse Engineering eXecution Skill for binary vulnerability discovery
Find the defects in a compiled binary — and prove them.
Seven subagents, one evidence tree, and a pinned toolchain so two runs are comparable.
![]()
Ghidra · radare2 · rizin · qemu-user · angr · z3 · AFL++ · valgrind · capa · Unicorn · Triton · Frida · semgrep · clang · Python · Nix
all pinned, all reproducible
1 · Claude Code — skip if you already have it.
curl -fsSL https://claude.ai/install.sh | bash
2 · REx@Skill — 1 skill, 12 references, 7 subagents, 33 scripts.
curl -fsSL https://raw.githubusercontent.com/tihanyin/REx-skill/main/install.sh | sh
3 · analyse a binary.
claude
> /re-analyze path/to/binary # one target
> /re-analyze path/to/directory/ # a whole corpus, evidence gathered in parallel
install.sh writes only to ~/.claude/ — the skill and its 33 pipeline scripts, the 7 agents, /re-analyze.--uninstall removes it cleanly.
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