Check the logs, no one really requests AGENTS.md from the server.