Repository profile
symbolic execution plugin for binary ninja
Repository updates
Get generated borzacchiello/seninja development summaries by email, or follow the weekly and monthly RSS feeds.
Sign in to subscribe by email. RSS feeds are public.
Sign in to subscribeTracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-06-24 13:16
1 capture since 2026-06-24
Stars from baseline 0
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-06-24 13:16
requirements.txt
python ecosystem,
1 dependency
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
Nearest indexed repositories by embedding similarity.
{Ninja-IDE Is Not Just Another IDE}
BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience
Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.
A Binary Ninja plugin containing an MCP server that enables seamless integration with your favorite LLM/MCP client.
binary ninja cli for coding agents
