LLMs

If you are working in a plain chat window (ChatGPT, Claude, or similar), and you would like to make sure the model writes correct Lemma Specs, paste this link into the chat and tell it to read the reference first: lemma.run/llms.txt (opens in new tab) .

If your assistant supports MCP, it's better to connect them to LemmaBase MCP. It connects your agents straight to your LemmaBase.com account, so they can search, read, and run specs on your behalf, not just recall the language. Reach for llms.txt only when MCP is not an option and you just need the model to get the syntax right.

New to Lemma itself? Start with the guide on Lemma.run (opens in new tab) .