Skip to main content
LobsterTrap
Profil créateur GitHub

LobsterTrap

Vue par dépôt de 8 skills collectés dans 2 dépôts GitHub.

skills collectés
8
dépôts
2
mis à jour
1 juil. 2026
explorateur de dépôts

Dépôts et skills représentatifs

gator-gate
Développeurs de logiciels

Validate and monitor OpenShell GitHub issues and PRs using the gator:* state machine. Use when asked to triage issues/PRs for project validity, gate PRs, run gator, validate submissions, or monitor PRs toward merge readiness.

1 juil. 2026
debug-openshell-cluster
Administrateurs de réseaux et de systèmes informatiques

Debug why an OpenShell gateway deployment is unhealthy, unreachable, or unable to create sandboxes. Use when the user has a gateway health failure, Docker/Podman runtime issue, Helm install failure, Kubernetes scheduling issue, TLS secret issue, VM driver…

1 juil. 2026
helm-dev-environment
Administrateurs de réseaux et de systèmes informatiques

Start up, tear down, and configure the local Kubernetes development environment for OpenShell. Uses k3d (Docker-backed k3s) + Skaffold + Helm. Covers cluster lifecycle, optional add-ons (Keycloak OIDC, Envoy Gateway), HA testing, and port mappings. Trigger…

22 juin 2026
openshell-cli
Administrateurs de réseaux et de systèmes informatiques

Guide agents through using the OpenShell CLI (openshell) for sandbox management, gateway registration, provider configuration, policy iteration, BYOC workflows, and inference routing. Covers basic through advanced multi-step workflows. Trigger keywords -…

10 juin 2026
build-from-issue
Développeurs de logiciels

Given a GitHub issue number, plan and implement the work described in the issue. Operates iteratively - creates an implementation plan, responds to feedback, and only builds when the 'state:agent-ready' label is applied. Includes tests, documentation updates,…

29 mai 2026
create-github-pr
Développeurs de logiciels

Create GitHub pull requests using the gh CLI. Use when the user wants to create a new PR, submit code for review, or open a pull request. Trigger keywords - create PR, pull request, new PR, submit for review, code review.

29 mai 2026
create-spike
Développeurs de logiciels

Investigate a plain-language problem description by deeply exploring the codebase, then create a structured GitHub issue with technical findings. Prequel to build-from-issue — maps vague ideas to concrete, buildable issues. Trigger keywords - spike,…

29 mai 2026
2 dépôts affichés sur 2
Tous les dépôts sont affichés