projects.toml

The TUI and Desktop GUI find agents through a local registry at ~/.config/steelframe/projects.toml (XDG config dir). Consoles never run autonomy; they only connect to agent URLs listed here.

# Optional default operator for every project.
operator = "your-github-login"

[[projects]]
name = "my-project"
url = "https://my-project.example.com"
token = "…"
operator = "your-github-login"

[[projects]]
name = "another-project"
url = "https://another.example.com"
# token is optional for a local agent with auth disabled

Fields

Field	Required	Purpose
name	yes	Label shown in the console.
url	yes	Agent base URL, e.g. http://127.0.0.1:7700.
token	no	Bearer token for a remote, auth-enabled agent.
operator	no	GitHub login for issue footers and audit (X-Auth-User).

A top-level operator sets the default for every project; a per-project operator overrides it.

Operator resolution

The operator identity sent as X-Auth-User resolves in this order:

1. Project operator
2. Registry operator
3. STEELFRAME_OPERATOR
4. GITHUB_USER
5. gh api user
6. $USER

Who reads it

• TUI and Desktop GUI read projects.toml and present one agent per entry, with [ ] (TUI) or the agent picker (Desktop) to switch.
• Web GUI does not: it is one agent behind the GUI origin and uses a cookie session.

Prefer adding projects with steelframe config rather than editing the file by hand; see CLI.