
Reversecore_MCP
A security-first MCP server that empowers AI agents to perform automated reverse engineering, malware analysis, forensics, vulnerability research,…

A security-first MCP server that empowers AI agents to perform automated reverse engineering, malware analysis, forensics, vulnerability research,…


High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Automated YARA rule generation from the Cert Central compromised certificate database.

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

A cybersecurity harness for full-stack LLM-driven penetration testing. Find and fix vulnerabilities autonomously, 24/7. [RESEARCH PREVIEW]

IDA plugin and loader for UEFI firmware analysis and reverse engineering automation

UNIX-like reverse engineering framework and command-line toolset.

Cross-platform library to parse, modify, and abstract ELF, PE, and MachO executable formats. Supports C++, Python, and Rust APIs with disassembler,…

A binary and file access authorization system for macOS.

User-mode x86_64 binary emulator for malware analysis and reverse engineering. Supports PE, ELF, memory dumps, and raw binaries with syscall tracing,…

Extract files from any kind of container formats

Multi-architecture disassembly framework providing a lightweight, thread-safe API for binary analysis, reverse engineering, and malware research…

A tool for reverse engineering Android apk files

The fastest LoongArch sandbox

Ghidra is a software reverse engineering (SRE) framework

EMBA - The firmware security analyzer

Radare2 and Frida better together.