Search public CVE proof-of-concept exploits from GitHub, Nuclei, ExploitDB, Metasploit and Vulhub, with CVSS, EPSS and CISA KEV context.
Gather and update all available and newest CVEs with their PoC.
CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.