AGENTS.md

Agent Instructions

Development Environment

This project uses a devcontainer with pixi for environment management.

Available Tools

• GitHub CLI (gh): Available via pixi run gh or directly if using a login shell. The container mounts the host's ~/.config/gh, so if you are authenticated on the host, that authentication is shared -- including in a container opened without dl, such as a plain devpod up or VS Code's Reopen in Container. Under dl there is also a forwarded GH_TOKEN (taken from GH_TOKEN, GITHUB_TOKEN or gh auth token, whichever answers first), and that takes precedence over the mounted hosts.yml.

Running Commands

When using pixi tasks, prefer pixi run <task>. See pixi task list for available tasks.

For tools installed as dependencies (like gh), you can run them via:

• pixi run gh <args> - works in any shell
• gh <args> - works in login shells (bash -l -c '...')