All datasets / nickh007

nickh007/cve-proof-corpus

56 downloads in 30 days0 likesLast modified 4 Sep 2026View on Hugging Face

Permissive or share-alike

The declared licence (apache-2.0) is classified as permissive.

Declared licence: apache-2.0, from the tagEvidence: README.md at eec60b7
Licence files: LICENSE, detected as apache-2.0Evidence: LICENSE at eec60b7
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

text-classification

Citation text from the card

@misc{cve_proof_corpus,
  title  = {CVE Proof Corpus: six vulnerability classes with machine-checkable soundness proofs},
  author = {Harris, Nick},
  year   = {2026},
  note   = {Apache-2.0. sha256 of cve-proof-corpus.jsonl: 522992a91026ff08b33356c5641fa21eeef23f7ee148f209f491cea347261e47},
  url    = {https://huggingface.co/datasets/nickh007/cve-proof-corpus}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "nickh007/cve-proof-corpus" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0