llms.txt

Lemma publishes a machine-readable language guide at lemmabase.com/llms.txt. Point LLMs and agents at it when they need to generate valid Lemma source — specs, data constraints, unless chains, veto semantics, and registry imports.

The document follows the common llms.txt convention: a stable URL with structured guidance, examples, anti-patterns, and links to the full documentation on GitHub.

For human-readable walkthroughs, start with Getting started or browse the reference guide.