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

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

Curated collection of cybersecurity resources including tools, articles, and repositories, structured with YAML frontmatter and automated discovery…

bash CLI trainer — 30 levels from ls to privilege escalation

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

CVE-2026-63030 & CVE-2026-60137 RCE chain proof-of-concept

Curated collection of extracted system prompts from major AI chatbots including Claude, ChatGPT, Gemini, Grok, and Copilot. Updated regularly with…

Building 70 Projects ranging from beginner to advanced so anyone can — learn from, build upon, use as a reference, or even copy directly. Gamified…

Hardened Android web browser forked from Mull/Firefox with privacy-focused patches, anti-fingerprinting, telemetry removal, and secure defaults for…

Remove visible and invisible AI watermarks and provenance metadata from images and video. Python library and CLI for SynthID, C2PA, EXIF, IPTC, XMP,…

On-device AI browser automation using WebLLM. No cloud, no API keys, fully private.

A secure* runtime for autonomous AI agents. Policy from plain-English constitutions. (*https://ironcurtain.dev)

📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.

A minimal, secure Python interpreter written in Rust for use by AI

SpecterOps Presentations

An open source threat modeling tool from OWASP

Verified tutorials and demo videos from your README. An AI agent runs it in a hardened Docker sandbox and replays it in a fresh container before…