catala-law-lang
reference corpus · status live · domain LAW (Law and regulation) · lane A · refresh pinned · tags GLOBAL · RULES-AS-CODE · LEGAL-DSL · TAX-LAW · COMPILER · OCAML
What an agent uses it for
An agent translating statutes/tax law into executable, auditable code queries this for a law-oriented DSL and worked legislative examples.
curl -fsSLO https://raw.githubusercontent.com/xerj-org/xerj/corpus-hub/tools/xerj-code/hub/catala-law-lang.jsonxerj corpus add --from ./catala-law-lang.jsonxerj corpus index catala-law-lang then xerj code catala-law-lang "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: "catala-law-lang", once the corpus is indexed on the node.
Sources and pins
| source | pin | licence | size | review note |
|---|---|---|---|---|
| catala | 5a41577e3f1c | Apache-2.0 | 5.9 MB / 863 files | licence host-verified (ok-spdx): Apache-2.0 |
5.9 MB across 863 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.