Skip to content

docs(agents): add gator launch skill#2203

Merged
johntmyers merged 6 commits into
mainfrom
feat/launch-openshell-gator-skill
Jul 13, 2026
Merged

docs(agents): add gator launch skill#2203
johntmyers merged 6 commits into
mainfrom
feat/launch-openshell-gator-skill

Conversation

@johntmyers

Copy link
Copy Markdown
Collaborator

Summary

Add a main repository skill for launching and supervising OpenShell gator agents through scripts/agents/run.sh.

Related Issue

N/A

Changes

  • Added .agents/skills/launch-openshell-gator/SKILL.md with preflight, launch, monitoring, restart, and troubleshooting workflows.
  • Documented the skill in the CONTRIBUTING.md agent skills inventory.

Testing

  • git diff --check passes
  • mise run pre-commit passes
  • Unit tests added/updated (not applicable)
  • E2E tests added/updated (not applicable)

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)

pimlock
pimlock previously approved these changes Jul 9, 2026

@pimlock pimlock left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚢

Couple of nits, around how this skill would be included in the context.

Comment thread .agents/skills/launch-openshell-gator/SKILL.md Outdated
Comment thread .agents/skills/launch-openshell-gator/SKILL.md Outdated
pimlock
pimlock previously approved these changes Jul 9, 2026
pimlock
pimlock previously approved these changes Jul 10, 2026
@drew drew added gator:in-review Gator is reviewing or awaiting PR review feedback and removed gator:in-review Gator is reviewing or awaiting PR review feedback labels Jul 10, 2026
drew
drew previously approved these changes Jul 10, 2026

@drew drew left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

Image

@drew drew added the gator:in-review Gator is reviewing or awaiting PR review feedback label Jul 10, 2026
@drew

drew commented Jul 10, 2026

Copy link
Copy Markdown
Collaborator

gator-agent

PR Review Status

Validation: This is a concentrated repository documentation/agent-skill update for launching supervised OpenShell gator agents, so it is project-valid.
Head SHA: 5427f87a50ed877049a44e6b28d24936dd107925

Thanks @pimlock, I checked the trigger-scope and intro concerns you raised. The latest commits removed the broad gateway/model trigger wording and trimmed the extra intro, so that feedback appears addressed.

Review findings:

  • .agents/skills/launch-openshell-gator/SKILL.md:108 and .agents/skills/launch-openshell-gator/SKILL.md:233: the skill shows commands where agents substitute PR/issue/sandbox placeholders directly into shell arguments. Please add an explicit guardrail to normalize PR/issue IDs to digits only and sandbox names to a safe character set such as [A-Za-z0-9_.-]+, and to avoid pasting raw operator text into --name, --from, or numeric placeholders. This avoids command/argument injection risk in the operator workflow.
  • .agents/skills/launch-openshell-gator/SKILL.md:173 and .agents/skills/launch-openshell-gator/SKILL.md:183: the model/image experiment example uses a hard-coded host-specific temp path. Please switch this to a portable generated temp directory, for example tmp_context="$(mktemp -d "${TMPDIR:-/tmp}/gator-codex-XXXXXX")", and pass that path to --from.

Docs: No Fern docs navigation update is needed because this does not change user-facing CLI/API behavior.

Next state: gator:in-review

@johntmyers johntmyers dismissed stale reviews from drew and pimlock via 12ecf38 July 10, 2026 15:46
Comment thread .agents/skills/launch-openshell-gator/SKILL.md Outdated
Comment thread .agents/skills/launch-openshell-gator/SKILL.md Outdated
Comment thread .agents/skills/launch-openshell-gator/SKILL.md Outdated
Comment thread .agents/skills/launch-openshell-gator/SKILL.md
Comment thread .agents/skills/launch-openshell-gator/SKILL.md
Comment thread .agents/skills/launch-openshell-gator/SKILL.md
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
@johntmyers johntmyers force-pushed the feat/launch-openshell-gator-skill branch from 861fbfe to 3b066eb Compare July 11, 2026 17:46
@copy-pr-bot

copy-pr-bot Bot commented Jul 11, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@drew drew removed the gator:in-review Gator is reviewing or awaiting PR review feedback label Jul 11, 2026
@johntmyers

Copy link
Copy Markdown
Collaborator Author

/ok to test 3b066eb

@johntmyers johntmyers enabled auto-merge (squash) July 13, 2026 17:27
@johntmyers johntmyers merged commit ee9b455 into main Jul 13, 2026
30 checks passed
@johntmyers johntmyers deleted the feat/launch-openshell-gator-skill branch July 13, 2026 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants