nickh007/cve-proof-corpus

CVE Proof Corpus Six real vulnerability classes, each with a machine-checkable proof that the shipped fix eliminates it — and a checker that shares no code with whatever produced the proof. Every record carries the safety relation, the guard the upstream project shipped, the declared attacker domain, and the nonnegative multipliers that prove the guard implies safety. All six verify. pip install "certkit@git+https://github.com/nickharris808/certkit@main" python verify.py… See the full description on the dataset page: https://huggingface.co/datasets/nickh007/cve-proof-corpus.