Modal CLI

Easiest path: install the CLI and run modal setup or modal token new to create and store credentials using an authenticated Modal web session, as documented in `modal setup` and `modal token`. For automation, create a service user from the Service Users guide: go to the workspace tokens settings page, click New Service User, and copy the issued MODAL_TOKEN_ID and MODAL_TOKEN_SECRET (shown only once). You can also enter an existing pair with modal token set --token-id ... --token-secret ....