
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…

CVE cache of the official CVE List in CVE JSON 5 format

Repository created to share information about tactics, techniques and procedures used by threat actors. Initially with ransomware groups and evolving…

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

Community Cryptography Specification Project

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

Zero-API aggregator indexing 150k+ CVE exploits and PoCs from Exploit-DB, Nuclei, Metasploit, and CISA KEV, with EPSS/CVSS risk scoring for threat…

Exploit-Index : The Ultimate CVE Proof of Concept (PoC) & Exploit Database. A zero-API, high-performance aggregator for 0days, vulnerabilities, and…

The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers…

OWASP knowledge base and validator for HTTP security response headers, providing recommendations, statistics, and automated configuration checks.

Decentralized Autonomous Research Collective. Lean 4-verified, IPFS-backed, agent-native. Production paper: arXiv:2604.19792. Live at p2pclaw.com.

YC (S26) | Open Computer History | Continuously record your company computer work, map your workflows, help you find work worth automating, and power…

Research artifacts for file-notification side-channel attacks on Linux, Windows, and macOS, demonstrating inotify/FSEvents leakage, keystroke timing,…

Fully automatic censorship removal for language models

Archive of the Top 10 Web Hacking Techniques - every nominee since 2006, preserved

Community-maintained database of security advisories for Ruby gems and runtimes, providing structured CVE/GHSA data with patched versions for…

😱 A curated list of amazingly awesome OSINT

Devirtualizes Tencent VM .tvm0 sections: lifts VM handlers to guest-level listings and LLVM IR, recovers CFG and dispatch, and patches recovered code…