lambdaworks
reference corpus · status live · domain CRYPTO (Cryptography, TLS and secrets) · lane A · refresh pinned · tags GLOBAL · ZK · STARK · SNARK · FFT · FINITE-FIELD
What an agent uses it for
an agent working on STARK/SNARK proving math queries this for a from-scratch, well-documented Rust library of fields, FFTs and provers
curl -fsSLO https://raw.githubusercontent.com/xerj-org/xerj/corpus-hub/tools/xerj-code/hub/lambdaworks.jsonxerj corpus add --from ./lambdaworks.jsonxerj corpus index lambdaworks then xerj code lambdaworks "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: "lambdaworks", once the corpus is indexed on the node.
Sources and pins
| source | pin | licence | size | review note |
|---|---|---|---|---|
| lambdaworks | 3a87850dc405 | Apache-2.0 | 6.7 MB / 784 files | licence host-verified (ok-spdx): Apache-2.0 |
6.7 MB across 784 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.