Remove tea CLI dependency from implement-issue skill

Streamline the skill by removing tea-specific command examples. The
checks (issue exists, labels, blockers) still need to happen but
the exact commands are now at the discretion of the agent.

Also update agents-seed.md to fix arg configurations and add missing
notes about stdin piping.

common/engineering/implement-issue/SKILL.md

@@ -39,17 +39,9 @@ Supported agents and their configurations are defined in `agents-seed.md` in the
 
 Stop on any failure and report clearly what needs fixing. Do not proceed.
 
-#### 1a. `tea` CLI
-
-Confirm `tea` is on PATH. If missing, tell the user to install it and stop.
-
 #### 1b. Issue exists and is open
 
-```bash
+If the issue is not found or state is not `open`, report and stop.
-tea issue <N> -o json
-```
-
-If the issue is not found (404) or state is not `open`, report and stop.
 
 #### 1c. Issue is labeled `ready-for-agent`
 
@@ -59,10 +51,6 @@ Check that the issue's labels include `ready-for-agent`. If not, report the curr
 
 Read the issue body for "Blocked by #M" references. For each referenced issue, check whether it is open:
 
-```bash
-tea issue <M> -o json
-```
-
 If any blocker is open, report the blocking issues and stop.
 
 #### 1e. Remote exists and base branch is reachable
@@ -73,9 +61,7 @@ Default base is the repo's default branch — infer from `git ls-remote --heads
 git ls-remote --heads origin <base>
 ```
 
-If the remote is unreachable or the base branch doesn't exist, report and stop. SSH auth issues (e.g. `Permission denied (publickey)`) are a failure — tell the user which key is needed.
+If the remote is unreachable or the base branch doesn't exist, report and stop.
-
-> **SSH note:** `tea` uses HTTPS and may work when git-over-SSH does not. If the first `git ls-remote` fails with an SSH error, try `export SSH_AUTH_SOCK=$(gpgconf --list-dirs agent-ssh-socket)` and retry before failing.
 
 #### 1f. Branch name is free
 
@@ -131,19 +117,11 @@ Stop.
 
 ### 2. Setup
 
-#### 2a. Fetch latest base
+#### 2a. Label the issue `in-progress`
 
-```bash
+Apply the `in-progress` triage label.
-git fetch origin <base>
-```
 
-#### 2b. Label the issue `in-progress`
+#### 2b. Create the worktree
-
-```bash
-tea issues edit <N> --add-labels "in-progress" --remove-labels "ready-for-agent"
-```
-
-#### 2c. Create the worktree
 
 ```bash
 git worktree add -b <branch-name> ../<repo-name>-issue-<N> <base>

common/engineering/setup-skills/agents-seed.md

@@ -8,30 +8,31 @@ This file is the source of truth for all supported CLI agents. It is read by `se
 agents:
   - name: pi
     binary: pi
-    args: "-p @{prompt}"
+    args: "@{prompt}"
-    description: "My primary agent harness. Accepts prompt file via -p flag."
+    description: "My primary agent harness. Accepts prompt file via @{prompt}."
 
   - name: opencode
     binary: opencode
-    args: "run -f @{prompt}"
+    args: ""
-    description: "OpenCode agent. Accepts prompt file via -f flag."
+    description: "OpenCode agent. Pipes stdin via cat."
+    note: "Uses stdin piping: args must be empty, prompt via pipe."
 
   - name: goose
     binary: goose
-    args: "run -i @{prompt}"
+    args: ""
     description: "Goose agent. Accepts prompt file via -i flag."
+    note: "Uses stdin piping: args must be empty, prompt via pipe."
 
   - name: codex
     binary: codex
-    args: ""
+    args: "@{prompt}"
-    description: "OpenAI Codex. Pipes stdin via cat."
+    description: "OpenAI Codex. Accepts prompt file via @{prompt}."
-    note: "Uses stdin piping: args must be empty, prompt via pipe."
 
   - name: claude
     binary: claude
-    args: "-p"
+    args: ""
     description: "Anthropic Claude CLI. Pipes stdin via cat."
-    note: "Uses stdin piping: args is just the prompt flag, prompt via pipe."
+    note: "Uses stdin piping: args must be empty, prompt via pipe."
 ```
 
 ## Field meanings