fix skills

Author: GiggleLiu

.claude/CLAUDE.md

@@ -17,7 +17,6 @@ Rust library for NP-hard problem reductions. Implements computational problems w
   - `topology-sanity-check orphans` -- Detect isolated problem types (runs `examples/detect_isolated_problems.rs`)
   - `topology-sanity-check np-hardness` -- Verify NP-hardness proof chains from 3-SAT (runs `examples/detect_unreachable_from_3sat.rs`)
   - `topology-sanity-check redundancy [source target]` -- Check for dominated reduction rules
-- [meta-power](skills/meta-power/SKILL.md) -- Batch-resolve all open `[Model]` and `[Rule]` issues autonomously: plan, implement, review, fix CI, merge — in dependency order (models first).
 - [project-pipeline](skills/project-pipeline/SKILL.md) -- Pick a Ready issue from the GitHub Project board, move it through In Progress -> issue-to-pr --execute -> review-agentic.
 - [review-pipeline](skills/review-pipeline/SKILL.md) -- Pick a PR from review-agentic column, fix Copilot review comments, fix CI, run agentic feature tests, move to In Review.
 - [dev-setup](skills/dev-setup/SKILL.md) -- Interactive wizard to install and configure all development tools for new maintainers.
@@ -163,7 +162,7 @@ Reduction graph nodes use variant key-value pairs from `Problem::variant()`:
 - Test naming: `test_<source>_to_<target>_closed_loop`
 
 ### Paper (docs/paper/reductions.typ)
-- `problem-def(name)[body]` — defines a problem with auto-generated schema, reductions list, and label `<def:ProblemName>`. Title comes from `display-name` dict.
+- `problem-def(name)[def][body]` — defines a problem with auto-generated schema, reductions list, and label `<def:ProblemName>`. Title comes from `display-name` dict.
 - `reduction-rule(source, target, example: bool, ...)[rule][proof]` — generates a theorem with label `<thm:Source-to-Target>` and registers in `covered-rules` state. Overhead auto-derived from JSON edge data.
 - Every directed reduction needs its own `reduction-rule` entry
 - Completeness warnings auto-check that all JSON graph nodes/edges are covered in the paper
@@ -211,6 +210,8 @@ Unit tests in `src/unit_tests/` linked via `#[path]` (see Core Modules above). I
 ```typst
 #problem-def("ProblemName")[
   Mathematical definition...
+][
+  Background, examples, algorithms...
 ]
 ```
 

.claude/skills/fix-pr/SKILL.md

@@ -90,7 +90,7 @@ Categorize all findings:
 
 | Priority | Type | Action |
 |----------|------|--------|
-| 1 | CI failures (test/clippy/build) | Fix immediately — blocks merge |
+| 1 | CI failures (clippy/test/coverage) | Fix immediately — blocks merge |
 | 2 | User inline/review comments | Address each one — highest review priority |
 | 3 | Copilot inline suggestions | Evaluate validity, fix if correct |
 | 4 | Codecov coverage gaps | Add tests for uncovered lines |
@@ -102,9 +102,8 @@ Categorize all findings:
 For each failing check:
 
 1. **Clippy**: Run `make clippy` locally, fix warnings
-2. **Test**: Run `make test` locally, fix failures
-3. **Build**: Run `make build` locally, fix errors
-4. **Coverage**: See Step 5 (codecov-specific flow)
+2. **Test**: Run `make test` locally, fix failures (build errors surface here too)
+3. **Code Coverage**: See Step 5 (codecov-specific flow)
 
 ## Step 4: Address Review Comments
 

.claude/skills/meta-power/SKILL.md

@@ -105,6 +105,7 @@ Ready issues (ranked):
 Create an isolated git worktree for this issue so the main working directory stays clean:
 
 ```bash
+REPO_ROOT=$(git rev-parse --show-toplevel)
 git fetch origin main
 BRANCH="issue-<number>-<slug>"
 WORKTREE_DIR=".worktrees/$BRANCH"
@@ -166,7 +167,7 @@ gh project item-edit \
 After the issue is processed (success or failure), clean up the worktree:
 
 ```bash
-cd /Users/liujinguo/rcode/problemreductions
+cd "$REPO_ROOT"
 git worktree remove "$WORKTREE_DIR" --force
 ```
 

.claude/skills/project-pipeline/SKILL.md

@@ -71,6 +71,7 @@ review-agentic PRs:
 Create an isolated git worktree so the main working directory stays clean:
 
 ```bash
+REPO_ROOT=$(git rev-parse --show-toplevel)
 REPO=$(gh repo view --json nameWithOwner --jq .nameWithOwner)
 BRANCH=$(gh pr view $PR --json headRefName --jq .headRefName)
 WORKTREE_DIR=".worktrees/review-$BRANCH"
@@ -238,7 +239,7 @@ For each retry:
 ### 5. Clean Up Worktree
 
 ```bash
-cd /Users/liujinguo/rcode/problemreductions
+cd "$REPO_ROOT"
 git worktree remove "$WORKTREE_DIR" --force
 ```