All datasets / nickh007

nickh007/specforge

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

Permissive or share-alike

The declared licence (mit) is classified as permissive.

Declared licence: mit, from the tagEvidence: README.md at b906f2a
Licence files: No licence file at the top level of the repositoryEvidence: file list at b906f2a
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{specforge2026,
  title  = {specforge: a generated verification benchmark with computed ground truth},
  author = {Harris, Nick},
  year   = {2026},
  url    = {https://github.com/nickharris808/specforge}
}

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/specforge" })
signal: "permissive"
stated_licence: "mit"
sources: 0