Deploy Kev on Modal

scripts/kev_serve.py is a single self-contained Modal app. modal deploy on it builds an image with the kev package at a pinned commit, loads a Kev checkpoint from the Hugging Face Hub on a GPU sized for it, and serves TypeSafe's System One protocol (POST /v1/systemone, GET /v1/models) at https://<workspace>--kev-api.modal.run. It scales to zero when idle. The file is short on purpose: if the user's case does not fit, read it and edit it.

1. Check the prerequisites

pip install modal==1.5.5
modal profile current 2>/dev/null || modal setup      # opens a browser to sign in; the user must do this step
modal skills install -y                               # optional: Modal's own agent skill + docs (into .agents/, or -g for home)

If modal setup is needed, tell the user and wait; do not try to authenticate for them. modal skills install gives you Modal's official skill and documentation, which helps with anything beyond this file: GPUs, secrets, volumes, logs, billing.

2. Pick the model