lensapp

lensapp/openshell-k8s-operator

Instructions file CodexOpenCode

Instructions for lensapp/openshell-k8s-operator, a project described as: OpenShell Kubernetes Operator.

lensapp/openshell-k8s-operator

Instructions file

Instructions for lensapp/openshell-k8s-operator, covering claude.md, what this is, build / test / lint, conventions and layout.

lensapp/lens-sandbox

Skill Claude CodeCodex

Thorough, opinionated code review. Two modes: (1) Self-review — no arguments — reviews your current branch against origin/main before creating a PR. (2) PR review — pass a GitHub PR URL or owner/repo#number — reviews someone else's PR and posts findings as a draft review on GitHub. Triggers on 'review my code'…

lensapp/lens-sandbox

Skill Claude CodeCodex

Create a pull request for the current branch. Use when user asks to: (1) create a PR, (2) open a pull request, (3) submit changes for review. Handles branch pushing, PR creation with gh CLI, and conventional title formatting.

lensapp/lens-sandbox

Skill Claude CodeCodex

Run the repo verification gates and auto-repair failures until green, an escalation, or the attempt cap. Use when the user runs /green, asks to run the gates or make them pass, or closes out an implemented slice. Do not auto-invoke during UI iteration.

lensapp/lens-sandbox

Skill Claude CodeCodex

Continuation of /problem-first. Confirms scope against product docs and existing specs, writes the agreed Gherkin scenarios to a .feature file in the target crate's test-layer directory, and enters technical planning mode. Use when the user explicitly runs /problem-first-impl, or when they ask to proceed to…

lensapp/lens-sandbox

Skill Claude CodeCodex

Continuation of /problem-first. Creates a GitHub issue (open, unassigned) capturing the agreed problem statement and Gherkin scenarios as acceptance criteria. Use when the user explicitly runs /problem-first-issue, or when they ask to file an issue for a problem they've just worked through via /problem-first. Do NOT…

lensapp/lens-sandbox

Skill Claude CodeCodex

Problem-first planning that reads product docs, challenges assumptions, iterates behavior via Gherkin, agrees on a solution direction, and confirms doc-level alignment. Ends with an agreed problem statement, scenario set, chosen approach, and explicit confirmation that no doc conflicts remain; then suggests a…

lensapp/lens-sandbox

Skill Claude CodeCodex

Red-test-first fix loop for bugs and behavior changes — state the defect as a claim, write the failing test before any production code, watch it fail for the stated reason, then make the smallest change that turns it green. Includes follow-up sweeps (coverage of new properties, side-effect accounting, fixture reality…

lensapp/lens-sandbox

Skill Claude CodeCodex

Handle PR review comments interactively — fetch, triage, present, fix, reply, and resolve. Use this skill whenever the user wants to address PR review comments, fix review feedback, handle reviewer suggestions, respond to code review, resolve review threads, or work through pull request feedback. Triggers on 'fix…

lensapp/lens-sandbox

Skill Claude CodeCodex

Drive the problem-first pipeline forward — detect the current phase (intake, plan, implement, review, PR) from observable state and invoke the right skill, pausing at every human gate. Use only when the user runs /ship, optionally with an issue number or a one-line idea.

lensapp/lens-sandbox

Instructions file CodexOpenCode

Instructions for lensapp/lens-sandbox, a project described as: Run AI agents, commands, and OCI images locally inside a microVM — control what flows into and out of the sandbox.

lensapp/lens-sandbox

Instructions file

Instructions for lensapp/lens-sandbox, covering product vision, transitional mode, which document wins, the rules and project overview.