Skip to content

Serve SKILL.md directly from veralang.dev #398

@aallan

Description

@aallan

SKILL.md is currently only accessible via raw.githubusercontent.com. Hosting it at veralang.dev/SKILL.md puts the primary agent reference document on the same domain as the website.

Implementation: copy SKILL.md to docs/SKILL.md as part of scripts/build_site.py (keeping it in sync automatically). Add it to docs/sitemap.xml and to docs/llms.txt with the veralang.dev URL.

This improves coherence for agents that discover the site from its own domain and reduces dependence on GitHub's raw content CDN.

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentationenhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions