Skip to main content
LobsterTrap
Perfil de criador do GitHub

LobsterTrap

Visão por repositório de 8 skills coletadas em 2 repositórios do GitHub.

skills coletadas
8
repositórios
2
atualizado
1 de jul. de 2026
explorador de repositórios

Repositórios e skills representativas

gator-gate
Desenvolvedores de software

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 de jul. de 2026
debug-openshell-cluster
Administradores de redes e sistemas de computador

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 de jul. de 2026
helm-dev-environment
Administradores de redes e sistemas de computador

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 de jun. de 2026
openshell-cli
Administradores de redes e sistemas de computador

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 de jun. de 2026
build-from-issue
Desenvolvedores de software

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 de mai. de 2026
create-github-pr
Desenvolvedores de software

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 de mai. de 2026
create-spike
Desenvolvedores de software

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 de mai. de 2026
Mostrando 2 de 2 repositórios
Todos os repositórios foram exibidos