Skip to main content
skill Claude Code CX Codex Cursor GitHub Copilot

binary-ninja-reverse — Claude Code skill: what it does and setup

Guides binary analysis in Binary Ninja using HLIL, MLIL, and LLIL representations. Useful for tracing cross-references, inspecting exports, and reviewing binary patches.

Install into Claude Code · Skills CLI (Vercel) All methods and platforms ↓
npx skills add zhaoxuya520/reverse-skill --skill binary-ninja-reverse -a claude-code
Open on GitHub

What binary-ninja-reverse does

This skill structures reverse engineering workflows inside Binary Ninja. The agent inspects decompiled logic in HLIL, shifts to MLIL SSA form for data-flow tracking, and falls back to LLIL when lifted code hides instruction behavior. Analysis relies on concrete addresses, cross-references, and symbol tables.

Interactions run through the desktop interface, the Python API, or a local MCP bridge. The workflow treats byte patches and database writes as state mutations. Work on a copy instead. Modifying the original file directly creates an immediate risk of destroying your test evidence.

Binary Ninja requires a standalone installation and a commercial license. When the target environment lacks a valid setup, the skill falls back to alternative disassemblers.

What it helps with

  • inspect decompiled HLIL logic and MLIL data flow
  • trace function cross-references and examine imported symbols
  • apply byte patches safely to duplicate binaries
  • run analysis actions through a local MCP bridge

Example prompts for the agent

  • Inspect the main function in Binary Ninja and show its HLIL representation
  • Find all cross-references to the authentication failure string using Binary Ninja
  • Prepare a byte patch in the binary copy and verify the change in LLIL

How to install binary-ninja-reverse

1Skills CLI (Vercel)

npx skills add zhaoxuya520/reverse-skill --skill binary-ninja-reverse -a claude-code

2Manually: put the files in place

~/.claude/skills/binary-ninja-reverse/SKILL.md

Copy the whole skill folder; for one project use .claude/skills/binary-ninja-reverse/

From the same set5

The whole set →

Similar

freeze garrytan The skill blocks Edit, Write and NotebookEdit outside one directory. The hook returns a deny, not a warning. Claude Code CX Codex Cursor +1 352installs draft-nda phuryn This skill drafts a detailed non-disclosure agreement between two parties, covering information types, jurisdiction, and marking sections that require legal review. Claude Code CX Codex Cursor +1 2,600installs secure-code-guardian https://github.com/Jeffallan A skill for implementing custom authentication, input validation, and OWASP Top 10 defences. Use it when building your own authorization system instead of pre-built OAuth. Claude Code CX Codex Cursor +1 5,100installs code-review agno-team Automated code inspection for style violations, bugs, and best-practice gaps. The skill runs linting, identifies issues, and delivers structured feedback with severity levels. Claude Code CX Codex Cursor +1 472installs pr-workflow tursodatabase Enforces rules for atomic commits, clean PRs, dependency licensing, and secret hygiene. Useful for agents pushing code or running inside CI workflows. Claude Code CX Codex Cursor +1 1,200installs better-auth-security-best-practices better-auth Hardens Better Auth deployments by configuring rate limits, CSRF rules, session caching, and OAuth token encryption. Claude Code CX Codex Cursor +1 47,700installs git-guardrails-claude-code Matt Pocock This skill adds a Claude Code hook that stops risky Git commands before they run. Use it when an agent must not push or discard working-tree changes. Claude Code 499,069installs ponytail-review DietrichGebert ponytail-review reviews a change beyond the diff, checking connected code, bugs, risks, load, tests, speed, and unnecessary code. Use it for PRs and commits. Claude Code CX Codex Cursor +1 56,300installs

Questions about binary-ninja-reverse

How do I install binary-ninja-reverse in Claude Code?

Run npx skills add zhaoxuya520/reverse-skill --skill binary-ninja-reverse -a claude-code in your terminal.

What does the binary-ninja-reverse skill do?

It guides binary inspection inside Binary Ninja, helping analyze HLIL decompilation, trace cross-references, and safely review byte patches.

What are the prerequisites for this skill?

You need Binary Ninja installed with a valid commercial license. Interactive automation also requires the GUI, the Python API, or the local MCP bridge running on localhost.

Source text

SKILL.md · MIT
---
name: binary-ninja-reverse
description: Use for authorized binary analysis in Binary Ninja, including HLIL/MLIL/LLIL inspection, strings/imports/exports, cross-references, types, patch review, Python API automation, and optional Binary Ninja MCP or localhost HTTP integration.
---

# Binary Ninja reverse engineering

Use Binary Ninja when the user explicitly selects it, when its ILs materially help data-flow analysis, or when IDA/Ghidra/radare2 results need an independent cross-check.

## Start safely

1. Confirm the repository case scope is ready before acting on a target.
2. Check `skills/tool-index.md` for `binaryninja`; Binary Ninja is commercial software and must be installed manually with a valid Vector 35 license.
3. Work on a copy when applying patches or saving database changes.
4. Record imports/exports, entry points, architecture, and file hash before promoting findings.

## Choose the integration

- **GUI or Python API:** preferred when Binary Ninja is already open or the user wants direct interactive analysis.
- **Community MCP bridge:** use only when explicitly requested and after reviewing the third-party plugin boundary. Keep the Binary Ninja HTTP listener on `127.0.0.1:9009`; do not enable network exposure by default.
- **Fallback:** use `ghidra-reverse`, `ida-reverse`, or `radare2` when Binary Ninja is unavailable or its license/API cannot open the target.

The reviewed community integration is [`fosdickio/binary_ninja_mcp`](https://github.com/fosdickio/binary_ninja_mcp), GPL-3.0, plugin metadata version `1.1.0`, minimum Binary Ninja build `4000`. The repository is not an official Vector 35 component. This skill was checked against commit `8c5134ee46e2bf44f9a4d846bd971c3e39b3e306` on 2026-09-03.

Install the Binary Ninja side through its Plugin Manager or from the reviewed source. For the MCP stdio bridge, pin the published bridge version rather than using an unbounded package:

```text
npx -y [email protected] --host 127.0.0.1 --port 9009
```

Register that command only in the MCP client the user selected. The bridge is not ready until Binary Ninja is running, a binary is open, and the localhost plugin endpoint responds.

## Analysis workflow

1. Enumerate open binaries and select the intended view.
2. Capture binary status, entry points, segments, imports, exports, and representative strings.
3. Follow call sites and cross-references before interpreting a function in isolation.
4. Use HLIL for readable logic, MLIL SSA for data flow, and LLIL/disassembly when lifting loses instruction-level behavior.
5. Apply names, comments, and types incrementally; keep the original addresses in evidence.
6. Treat byte patches, prototype changes, and saved-file writes as mutations. Perform them only when requested and preserve the original artifact.
7. Cross-check high-impact conclusions with a second evidence source or another disassembler.

Useful MCP capability families include binary/view selection, `list_imports`, `list_exports`, `list_strings`, `decompile_function`, `get_il`, callers/callees, cross-references, types, comments, renames, and byte patching. Discover the live tool list instead of assuming every upstream function is present.

## Output

Report concrete addresses, function names, IL level, supporting strings/imports, confidence, and reproduction steps. Keep the Evidence → Finding → Path chain used by the rest of the repository.

© zhaoxuya520 · MIT · zhaoxuya520/reverse-skill

See also

Project sponsors

Companies that keep this analytics open
Gold sponsor

Impressions, clicks and code copies — open statistics. We keep the numbers public for the same reason NeBlask itself is public. Become a sponsor