update workflow

Author: GiggleLiu

.claude/skills/dev-setup/SKILL.md

@@ -127,7 +127,68 @@ This runs `fmt-check + clippy + test`. Print a pass/fail summary for each stage.
 | "HiGHS not found" or cmake errors | Install cmake: `brew install cmake` (macOS) or `sudo apt install cmake` (Linux) |
 | `cargo llvm-cov` fails with "missing llvm-profdata" | `rustup component add llvm-tools-preview` |
 
-If `make check` passes, print:
-> "Setup complete! All tools installed and verified. You're ready to contribute."
+If `make check` passes and the user declined skill tools, print:
+> "Setup complete! All core tools installed and verified. You're ready to contribute."
 
 If it fails, walk through the troubleshooting table and offer to run the fix commands.
+
+### Pipeline Verification (skill tier only)
+
+If the user installed skill tools, also verify the autonomous pipeline works:
+
+**6b: Test `make run-pipeline` prerequisites**
+
+```bash
+# Verify gh can access the project board
+gh project item-list 8 --owner CodingThrust --format json --limit 1
+```
+
+If this fails, the user likely needs org-level project scopes:
+```bash
+gh auth refresh -s read:project,project
+```
+
+**6c: Test `make run-review` prerequisites**
+
+```bash
+# Verify gh-copilot-review works
+gh copilot-review --help
+```
+
+**6d: Test claude CLI**
+
+```bash
+claude --version
+```
+
+If all pipeline checks pass, explain the project-based contribution pipeline:
+
+> **Setup complete!** All tools installed and verified.
+>
+> ## How the Project Pipeline Works
+>
+> This project uses a [GitHub Project board](https://github.com/orgs/CodingThrust/projects/8/views/1) to track issues through an automated pipeline. Issues flow through these columns:
+>
+> ```
+> Ready → In Progress → review-agentic → In Review → Done
+> ```
+>
+> Two `make` commands drive this pipeline:
+>
+> ### `make run-pipeline` (issue → PR)
+> Picks the next **Ready** issue, moves it to **In Progress**, implements it (using `/issue-to-pr` → `/add-model` or `/add-rule`), creates a PR, then moves it to **review-agentic**.
+>
+> ### `make run-review` (PR → review)
+> Picks the next **review-agentic** PR, waits for Copilot review, fixes comments and CI failures, runs agentic feature tests, then moves it to **In Review** for human approval.
+>
+> ### Targeting specific items
+> - `make run-pipeline N=42` — process issue #42
+> - `make run-review N=570` — process PR #570
+>
+> ### Available skills for manual work
+> You can also invoke individual skills directly:
+> - `/issue-to-pr 42` — convert a specific issue into a PR
+> - `/add-model` — interactively add a new problem model
+> - `/add-rule` — interactively add a new reduction rule
+> - `/fix-pr` — fix review comments and CI on the current PR
+> - `/release` — prepare a new crate release