


Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

Checker for Lifetimes and other Refinement types

Trail of Bits Testing Handbook - appsec.guide

Finding vulnerabilities through dumb brute force

Host-agnostic pre-write security hook for coding agent: detects user-input patterns via Semgrep and emits deterministic, no-LLM security guidance.

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

Android security insights in full spectrum.

Generate malicious files using recently published homoglyphic-attack (CVE-2021-42694)

nltk.tokenize.StanfordSegmenter dynamically loads external Java .jar files without verification or sandboxing. If an attacker can supply or replace…

A security-hardened fork of the abandoned "PostGallery" WordPress plugin. Fixes critical Arbitrary File Upload (CVE-2025-13543) and Guest Access…

Secure fork of Startklar Elementor Addons. Patched CVE-2024-5153 & File Upload vulnerabilities.

This is the main repository for metasm, a free assembler / disassembler / compiler written in ruby

🛡️ Open-source binary protection toolkit for Windows PE. Nanomite, VM protection, anti-debug, and more.


