# pi-grok — Pi agent scenario

This directory is the **pi-grok** Pi agent. It is tracked as part of the
`pi-agent-config` repository — it is **not** a standalone repository.

- Gitea repo: `kai/pi-agent-config` on `192.168.50.45` (web `:3000`, SSH `:222`).
- Remote: `origin -> gitea-45:kai/pi-agent-config.git`, branch `main`.
- Auth: SSH key only (`~/.ssh/id_ed25519_gitea`, Git user `git`); no HTTP token.
- Push and pull from the repository root, not from here:

```bash
git pull --rebase origin main
git push origin main
```

See the repository [`README.md`](../../README.md), section “Gitea repository and
push authentication”, for the full SSH config and caveats.

## Layout

- `profile.toml` — the launch contract (single source of truth).