hacl-star
reference corpus · status live · domain CRYPTO (Cryptography, TLS and secrets) · lane A · refresh pinned · tags GLOBAL · FORMAL-VERIFICATION · HACL · EVERCRYPT · CRYPTO-LIBRARY · C
What an agent uses it for
An agent needing formally-verified crypto queries this for HACL*/EverCrypt's verified C implementations and agile API.
curl -fsSLO https://raw.githubusercontent.com/xerj-org/xerj/corpus-hub/tools/xerj-code/hub/hacl-star.jsonxerj corpus add --from ./hacl-star.jsonxerj corpus index hacl-star then xerj code hacl-star "your question"Needs the xerj CLI and a local node running; the copy prompt covers both, checks each step, and shows how to stop only the node you started. No shell: the MCP tool xerj_code_search with corpus: "hacl-star", once the corpus is indexed on the node.
Sources and pins
| source | pin | licence | size | review note |
|---|---|---|---|---|
| hacl-star | 504c2987452f | Apache-2.0 | 90.9 MB / 3,637 files | licence host-verified (ok-spdx): Apache-2.0 |
90.9 MB across 3,637 files. Added 2026-10-13.
Rights
Apache-2.0. Redistribution permitted with attribution per the licence review. The review block records a human opening each licence file at the pin. Detector output is a hint, never the verdict.
Retrieval spot-check (G7)
Not yet spot-checked. Queries are pre-registered in the registry before grading.