[M8-3a] Serve /llms.txt (#104) - #105
Merged
Merged
Conversation
A curated Markdown index of the site for language models, per the llms.txt convention (https://github.com/answerdotai/llms-txt). MkDocs copies non-Markdown files in docs/ through unchanged, so docs/llms.txt ships as /llms.txt with no plugin. Absolute URLs against the current canonical origin; #46 (M8-1) now carries the reminder to swap the origin here at cutover. Every internal URL listed resolves in the strict build, checked file-by-file rather than assumed. Closes #104. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
Adds an llms.txt file under docs/ so MkDocs will publish it at /llms.txt, providing a curated, LLM-friendly index of key site sections (projects, research record, writing, contact) in line with the emerging llms.txt convention.
Changes:
- Add
docs/llms.txtwith a sectioned set of links and short descriptions for key site content. - Use absolute URLs consistent with the current canonical origin (
https://williamdemeo.github.io/).
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
docs/llms.txt, shipping as/llms.txt— a curated Markdown index of the site for language models, per the llms.txt convention. One static file; MkDocs copies non-Markdowndocs/files through unchanged, so there is no plugin and nothing to configure.Why now
Smallest item of the 2026-08-03 design review (#104): LLM crawlers and agents increasingly check for it, and for a site whose author builds AI tooling for proof assistants, being legible to language models is a credential disguised as a housekeeping file.
Verified
mkdocs build --strictgreen;site/llms.txtbyte-identical to the source./projects/, both project pages,/publications/,/cv/,/about/,/blog/+ two posts,/contact/).Closes #104.
🤖 Generated with Claude Code