Agent instructions

Follow CONTRIBUTING.md. It describes how to build and test the repository, how to regenerate checked-in generated files, and what a pull request needs to contain.