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

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

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

YC (S26) | Open Computer History | Record your screen continuously locally and provide context to your agents (Claude, Codex, Openclaw, Hermes,…

risorse di ricerca per cve-2026-7228

😱 A curated list of amazingly awesome OSINT

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering,…

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

Modular LLM vulnerability scanner that probes for hallucination, data leakage, prompt injection, jailbreaks, and toxicity using static, dynamic, and…

The OWASP Subtractive Security Top 10 Project is an initiative to identify, document, and promote the highest-impact opportunities for reducing cyber…

Self-Defeating Audits: reproducible lab showing a low-privilege PostgreSQL role reversibly blinding a trigger-based auditor + poisoning attribution…

OWASP Smart Contract Security (SCS) Project

Repository for CoSAI Workstream 4, Secure Design Patterns for Agentic Systems

A full-stack AI Red Teaming platform securing AI ecosystems via Agent Scan, Skills Scan, MCP scan, AI Infra scan and LLM jailbreak evaluation.

Quickly find differences and similarities in disassembled code

Project Wycheproof tests crypto libraries against known attacks.

Technical write-up and analysis of PrintNightmare (CVE-2021-1675 / CVE-2021-34527), covering RCE/LPE exploitation, detection via Windows event logs,…

A curated list of AI Security materials and resources for Pentesters, Bug Hunters, and Security Researchers.