One lead. A visible team. Work you can prove.

Task-first Pi teams, visible in terminal panes. A lead agent declares a Task graph; worker agents take ready work in their own panes and close it with evidence.

• Visible workers

  Every worker agent runs in its own terminal pane beside the lead, laid out by tmux or Herdr.

  src/utils/team-pane-layout.ts →

• Model roles

  Define named roles in settings, each with its own model, thinking level, and use. The lead picks a role for every worker.

  src/utils/model-role-settings.ts →

• DAG-native

  The lead declares a Task graph. Dependencies, failure routes, and bounded retries are part of the contract.

  src/task-authority/graph-control-schemas.ts →

• Robust task & message engine

  Atomic Team snapshots, blocking waits that return on change, and Alerts to one recipient. Core protocols are model-checked in TLA+.

  formal →