Skip to content

docs(agents): add gator launch skill#2203

Open
johntmyers wants to merge 3 commits into
mainfrom
feat/launch-openshell-gator-skill
Open

docs(agents): add gator launch skill#2203
johntmyers wants to merge 3 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)

Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
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
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
pimlock
pimlock previously approved these changes Jul 9, 2026
Signed-off-by: John Myers <johntmyers@users.noreply.github.com>
@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 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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gator:in-review Gator is reviewing or awaiting PR review feedback

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants