


End-to-end agentic smart contract fuzzing and threat hunting

Linux kernel exploitation toolkit providing an exploit-building library, ROP chain and stack pivot generators, kernel image runners, and a target…


:snake: A toolkit for testing, tweaking and cracking JSON Web Tokens

Some setup scripts for security research tools.

Go package that aids in binary analysis and exploitation

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

Research code for red-teaming AI auto-mode monitors, including simulation evals, fuzzing, and monitor implementations for Claude Code and Codex…

LAVA: Large-scale Automated Vulnerability Addition

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


AI harness for long-running code audits, web pentests, and bug bounty hunting, built around how real investigations fail: anchored hypotheses, false…

A benchmark for LLM-driven bug discovery: 77 challenges across 43 open-source projects (C/C++/Java).


End-to-end security audit framework for LLM agents: static AST and taint modeling, attack synthesis, Docker sandbox replay, and deterministic verdict…

Black-box regex fuzzing tool that generates payloads to bypass input validations, discover normalizations, and evade WAFs in web applications.