Resources
The source, the schema, and where to go if something is wrong.
The registry
Every claimed name is a JSON file in a public GitHub repo. There is no hidden database: what you see in the repo is what resolves.
The schema
What CI actually checks on every pull request. See the record reference for the readable version.
For machines and agents
Everything an agent or script needs is a plain file or a JSON endpoint. SendAccept: text/markdown on any page of this site and you get the agent index as markdown instead of HTML.
Report abuse
If a subdomain is phishing, impersonating someone, or serving malware, email abuse@runs-at.dev and it will be reclaimed.
Policy
What names cost, what forfeits one, and what happens if runs-at.dev shuts down.