
Veritensor
The Anti-Virus for AI Artifacts & RAG Firewall. A static analysis tool scanning Models and Notebooks for RCE, Datasets and RAG docs for Data…

The Anti-Virus for AI Artifacts & RAG Firewall. A static analysis tool scanning Models and Notebooks for RCE, Datasets and RAG docs for Data…

AI-Powered Reverse Engineering Plugin for IDA Pro

This Repository is created after my own research into malicious browser extensions, by brining the work of many others and news articles into one…

Headless AI agent for deterministic reverse engineering.

Deobfuscation via optimization with usage of LLVM IR and parsing assembly.

An LLM extension for Ghidra to enable AI assistance in RE.

Library for lifting machine code to LLVM bitcode

Rogue Binary Model Context Protocol (MCP): a Docker-packaged binary analysis lab for AI agents. It supports reverse engineering, malware triage, and…

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

Exports disassembly from IDA Pro, Ghidra, and Binary Ninja into compact protobuf files for fast, standalone binary analysis and program manipulation…

Python Command-Line Ghidra MCP

Model Context Protocol server for autonomous vulnerability discovery


TinyXML 2.6.2 with fixes for CVE-2021-42260 and CVE-2023-34194

Static analysis of malicious Python code

Forensic intelligence platform that analyzes files, correlates threat indicators, maps behavior to MITRE ATT&CK, and generates actionable security…

Command-line and GUI tool for decompiling Android Dex and APK files into readable Java source code, with resource decoding, deobfuscation, and Smali…

A plugin to introduce interactive symbols into your debugger from your decompiler