docs(agents): add gator launch skill - #2203

Merged

johntmyers merged 6 commits into

mainfrom

feat/launch-openshell-gator-skill

Jul 13, 2026

Commits on Jul 11, 2026

docs(agents): add gator launch skill
johntmyers
committed
68008fd
docs(agents): narrow gator launch trigger
johntmyers
committed
912f94d
docs(agents): trim gator launch skill intro
johntmyers
committed
cbdbbf2
docs(agents): harden gator launch examples
johntmyers
committed
27ab17e
docs(agents): avoid assuming gator gateway
johntmyers
committed
6ed800a
docs(agents): trim gator launch rules
johntmyers
committed
3b066eb