Read AGENTS.md for instructions on working with this repository.