
REx-skill
REx@Skill - Agentic Reverse Engineering eXecution Skill for binary vulnerability discovery

REx@Skill - Agentic Reverse Engineering eXecution Skill for binary vulnerability discovery

A native APK and DEX decompiler written in Rust

Parallel IDA Pro binary analysis with AI-powered function naming, Neo4j knowledge graph, and phantomrt emulation/hooking/fuzzing engine for automated…

0-day malware detection for binaries, source & scripts (that doesn't suck)


DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of…

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…

MCP server for automated binary diffing.

Binary visualiser and triage tool — entropy, byte-class and Hilbert surfaces, dot plots and control-flow graphs over one shared address-space model.

Browser-local security monorepo with six modules for mobile APK/IPA triage, client-side DAST fuzzing, OSINT directories, offline AI threat scoring,…

Extract the managed (.NET) assemblies out of a MAUI Android assembly store.

Curated collection of LLVM security resources covering binary lifting, code obfuscation, static analysis, symbolic execution, sanitizers, and…

Cross-check the views of your attack surface and find the endpoints that cannot corroborate each other.

Agent-native CLI wrapping IDA Pro IDALib for stateless, JSON-output binary analysis: disassembly, Hex-Rays decompilation, CFG, xrefs, strings, and…

Scans code diffs with context to build an impact graph and uses LLMs to find vulnerabilities, supporting multi-repo scans and CI gating with SARIF…

Static binary vulnerability scanner using abstract interpretation on Ghidra Pcode. Detects CWE classes like buffer overflows, use-after-free, and…

A pure Rust reimplementation of libxml2