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

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

Fil-C: completely compatible memory safety for C and C++

The Swiss Army knife for automated Web Application Testing

A wrapper around grep, to help you grep for things

Cargo subcommand for coverage-guided Rust fuzzing with libFuzzer: create and run fuzz targets, minimize failures and corpora, and report coverage.

Toolbox containing research notes & PoC code for weaponizing .NET's DLR

Differential testing framework for HTTP implementations

Sample extensions, scripts, and API uses for WinDbg.

An Interactive Binary Patching Plugin for IDA Pro

A security scanner for your LLM agentic workflows

Tool for reverse engineering macOS/OS X

Coverage-guided fuzzer that uses taint tracking and scalar optimization to solve path constraints without symbolic execution, improving branch…

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

jshunter is a command-line tool designed for analyzing JavaScript files and extracting endpoints. This tool specializes in identifying sensitive…

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

An strace-like program for the Windows 'native' API

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

eBPF fuzzer toolchain for generating random eBPF programs and validating kernel verifier/runtime behavior. Supports coverage-guided fuzzing and…