All datasets / Publicus

Publicus/cvefixes-security-autoformal-span-cache

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

Unclear

The checks could not identify a recognised licence ID in the dataset's metadata.

Declared licence: other, from the tagEvidence: README.md at e134a8d
Licence name on the card: upstream-dataset-and-source-repository-licenses, link: https://huggingface.co/datasets/Publicus/cvefixes-security-autoformal-span-cache/blob/main/LICENSES.mdEvidence: README.md at e134a8d
Licence files: LICENSES.md, licence not identifiedEvidence: LICENSES.md at e134a8d
Declared sources: 1
Access gated on Hugging Face: No

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

Sources listed in the card metadata

Publicus/cvefixes-security-ir-graphragapache-2.0PermissiveEvidence: README.md at 6fd5918

Tasks

Citation text from the card

The upstream dataset declares Apache-2.0 and its immutable release records a
redistribution review. Embedded source code comes from many repositories;
repository-specific obligations remain applicable and have not been individually
re-audited for this extraction. See [LICENSES.md](LICENSES.md), the preserved
repository URL, commit, paths, and upstream provenance for each record.

Source data remains inert and untrusted. Extracted text grants no tool, repair,
policy, proof, or execution authority. No supervisor benchmark improvement or
arbitrary software-to-formal-logic capability is claimed by this release.
Extraction uses [ipfs_datasets_py](https://github.com/endomorphosis/ipfs_datasets_py).

All datasets marked Unclear | 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": "Publicus/cvefixes-security-autoformal-span-cache" })
signal: "unclear"
stated_licence: "other"
sources: 1