For AI agents: visit https://docs.kleene.ai/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.