
JSONPath
A fork of JSONPath from http://goessner.net/articles/JsonPath/

A fork of JSONPath from http://goessner.net/articles/JsonPath/

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

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

A vulnerability scanner for container images and filesystems

Fast and accurate AI powered file content types detection

Ghidra is a software reverse engineering (SRE) framework

Modular Android APK security analysis framework integrating static, dynamic, and reverse engineering tools for comprehensive vulnerability assessment…

opensource repo for validating agentic AI applications: redteam, behavior, supply-chain, static analysis

Python Command-Line Ghidra MCP

A powerful and user-friendly binary analysis platform!

MCP server bridging Ghidra's reverse engineering with AI tools: 256 tools for decompilation, P-code emulation, live debugging, data flow analysis,…

reverse engineering tool with a built-in MCP server: an AI can debug your binary, not just read it — breakpoints, stepping, memory, calling…

Static deobfuscation toolkit for compiled V8 JavaScript bytecode, focusing on JSCeal payloads. Provides pattern-driven filters, control-flow…

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

A security focused static analysis tool for Android and Java applications.

Agent skill for Android APK reverse engineering: dex patching, unpacking, repacking, ad and paywall removal, native .so analysis, and runtime…

Pure-Go Java Decompiler and Serialization Operator

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…