Development workflow

Every change includes

When the change affects	Also update
Behavior people see, setup, configuration, APIs or the UI	The pages on this site that describe it, in the same change. See Writing docs.
A route, its parameters or its models	docs/public/openapi.json (cd docs && pnpm openapi) and the types in frontend/src/api.ts
The database schema	A new Alembic migration in backend/migrations/versions/
A feature the iOS app (ios/) shows, or an API it calls	The iOS app, or a note in ios/README.md of what it is missing. See AGENTS.md.

The root AGENTS.md holds these rules for people and agents.

Checks

cd backend && uv run pytest
cd frontend && pnpm build && pnpm lint
cd docs && pnpm build

Conventions

• Keep the design rules: GitHub calls in github.py, sandboxes behind SandboxProvider, credentials on the server.
• Error messages are sentences a person can act on; the UI shows them as they are.
• Backend tests go through the HTTP API with fake GitHub and Daytona APIs, as in backend/tests/conftest.py.