OpenShell/scripts/agents/gator

Gator Agent

Launch a headless sandbox agent that runs the gator-gate skill against OpenShell issues and pull requests. The default and currently only supported harness is Codex.

Prerequisites

• gh is authenticated on the host and has access to NVIDIA/OpenShell.
• For --harness codex, codex login has created $HOME/.codex/auth.json.
• For --harness codex, local Codex auth must include an access token, refresh token, and account ID.
• A local gateway and either Docker or Podman are available to build the default sandbox image.

Usage

./scripts/agents/run.sh \
  --agent gator \
  --gateway docker-dev \
  --harness codex \
  "Run gator on PR 1536 and keep watching until it closes or merges."

By default the launcher uses scripts/agents/gator/Dockerfile as the sandbox image source. It builds scripts/agents/gator/ as the image context, so gator-specific image files such as policy.yaml and bin/gh stay with the gator agent. The launcher bakes rendered prompts, skills, subagents, and shared runtime files into /etc/openshell/agent-payload, then passes the resulting image reference to openshell sandbox create.

The launcher queries the selected gateway and builds with its Docker or Podman compute driver. If CONTAINER_ENGINE is set, it must match that driver. Other gateway drivers cannot run this local-image launcher.

Use --harness codex to select Codex explicitly. Other harness names are rejected until their support is added to agent.yaml and scripts/agents/runtime/harnesses/<name>/. Agent directories do not carry their own harness implementations; they provide prompt templates and optional skills or subagents for the shared runtime to inject.

Use --codex-bin "$(command -v codex)" only when the host executable is compatible with the sandbox OS and architecture.

The manifest-driven launcher at scripts/agents/run.sh reads agent.yaml, which defines the versioned immutable payload, prompt template, provider profile IDs, provider credential sources, gateway settings, skills, subagents, supporting resources, sandbox defaults, runtime mode, and harness defaults. The shared sandbox entrypoint at scripts/agents/runtime/entrypoint.sh starts the in-sandbox supervisor, which invokes the selected harness adapter for bounded cycles.

The launcher:

• Scans profile_paths in manifest order and imports or updates providers/github-gator.yaml.
• Creates or updates the github-gator provider from gh auth token.
• Selects the requested harness and bakes the common runtime into the immutable sandbox payload.
• For --harness codex, imports providers/codex-gator.yaml, creates or updates the codex-gator provider from $HOME/.codex/auth.json, and stores the refresh token as gateway-only refresh material.
• For --harness codex, configures gateway-managed refresh for CODEX_AUTH_ACCESS_TOKEN and rotates it before launching the sandbox.
• Enables agent_policy_proposals_enabled and proposal_approval_mode=auto at gateway scope.
• Uses the gator image policy copied to /etc/openshell/policy.yaml.
• Installs the gator-specific gh wrapper from gator/bin/gh as /usr/local/bin/gh to fail closed when same-head-SHA history cannot be checked, prevent duplicate dispositions, and require versioned review payloads.
• Installs gator/bin/review-feedback-ledger as /usr/local/bin/review-feedback-ledger so reviews receive tree- and patch-aware scope, prior summaries and findings, resolution state, convergence telemetry, and the three-round Warning budget.
• Installs gator/bin/resolve-gator-review-threads so a follow-up commit that demonstrably fixes a Gator inline finding can resolve the corresponding Gator-owned GitHub review thread without touching human review threads.
• Installs gator/bin/validate-review-findings to downgrade blockers that lack the required reachability, ownership, base-vs-head, impact, and reproducer evidence.
• Keeps that normalized evidence as Gator's internal review contract, then renders validated blockers for people as a read-aloud Summary, an actionable Fix, and a deterministic Verify. Exact paths and only the additional provenance an implementation agent needs appear in collapsed Agent context; raw evidence headings such as Base and Head are not posted publicly. Review-process provenance, docs and E2E disposition, SHAs, and state codes appear at the end of the summary in collapsed Gator metadata, while required human actions remain visible.
• Bakes scripts/agents/gator/skills/gator-gate/SKILL.md into /etc/openshell/agent-payload.
• Bakes .claude/agents/principal-engineer-reviewer.md so the selected harness can run a deterministic independent reviewer execution through /etc/openshell/agent-payload/runtime/subagent.sh principal-engineer-reviewer < task.md.
• For --harness codex, optionally bakes a host Codex executable as /etc/openshell/agent-payload/runtime/harnesses/codex/codex.
• Starts the selected harness without a TTY.
• Runs gator in watch mode by default. The sandbox stays alive while the supervisor sleeps between bounded Codex cycles, so Codex is not connected during passive PR waits. The supervisor prints periodic heartbeat lines during active cycles and passive sleeps.
• Makes each watch cycle compare its immutable payload version with the version published on the default branch. A stale watcher stops without GitHub writes and must be relaunched. The GitHub provider profile allows read-only GraphQL queries on api.github.com/graphql so gh read paths can use GraphQL when needed. Its only GraphQL mutation is the named ResolveGatorReviewThread operation, restricted to the resolveReviewThread root field. All other writes remain REST-only and scoped to the two allowed repositories.

Set GATOR_CODEX_ACCESS_CREDENTIAL_KEY or pass --codex-access-key if the gator Codex profile uses a credential key other than CODEX_AUTH_ACCESS_TOKEN for the short-lived access token.

Use --once for a single reconciliation cycle. Use --poll-interval <seconds> to change the default 15-minute watch cadence.

The launcher preserves existing gateway-owned Codex refresh material by default so multiple gator sandboxes do not overwrite each other's refresh-token lineage from host Codex auth. If gateway rotation fails, the launcher automatically resets gateway refresh material from host Codex auth and retries once. After codex logout && codex login, you can also pass --reset-refresh to force that reset before rotation.

Tests

bash scripts/agents/gator/bin/gh_guard_test.sh
bash scripts/agents/gator/bin/review_feedback_ledger_test.sh
bash scripts/agents/gator/bin/resolve_gator_review_threads_test.sh
bash scripts/agents/runtime/harnesses/codex/exec_test.sh