update skills

Author: GiggleLiu

.claude/CLAUDE.md

@@ -4,11 +4,11 @@
 Rust library for NP-hard problem reductions. Implements computational problems with reduction rules for transforming between equivalent formulations.
 
 ## Skills
-- [issue-to-pr](skills/issue-to-pr.md) -- Convert a GitHub issue into a PR with an implementation plan. Validates the issue against the appropriate checklist, then dispatches to `add-model` or `add-rule`.
-- [add-model](skills/add-model.md) -- Add a new problem model. Can be used standalone (brainstorms with user) or called from `issue-to-pr`.
-- [add-rule](skills/add-rule.md) -- Add a new reduction rule. Can be used standalone (brainstorms with user) or called from `issue-to-pr`.
-- [review-implementation](skills/review-implementation.md) -- Review a model or rule implementation for completeness. Auto-detects type from changed files. Called automatically at the end of `add-model`/`add-rule`, or standalone via `/review-implementation`.
-- [release](skills/release.md) -- Create a new crate release. Determines version bump from diff, verifies tests/clippy, then runs `make release`.
+- [issue-to-pr](skills/issue-to-pr/SKILL.md) -- Convert a GitHub issue into a PR with an implementation plan. Validates the issue against the appropriate checklist, then dispatches to `add-model` or `add-rule`.
+- [add-model](skills/add-model/SKILL.md) -- Add a new problem model. Can be used standalone (brainstorms with user) or called from `issue-to-pr`.
+- [add-rule](skills/add-rule/SKILL.md) -- Add a new reduction rule. Can be used standalone (brainstorms with user) or called from `issue-to-pr`.
+- [review-implementation](skills/review-implementation/SKILL.md) -- Review a model or rule implementation for completeness. Auto-detects type from changed files. Called automatically at the end of `add-model`/`add-rule`, or standalone via `/review-implementation`.
+- [release](skills/release/SKILL.md) -- Create a new crate release. Determines version bump from diff, verifies tests/clippy, then runs `make release`.
 
 ## Commands
 ```bash
@@ -37,11 +37,6 @@ make run-plan      # Execute a plan with Claude autorun
 make release V=x.y.z  # Tag and push a new release (CI publishes to crates.io)
 ```
 
-## Verify Changes
-```bash
-make test clippy  # Must pass before PR
-```
-
 ## Git Safety
 - **NEVER force push** (`git push --force`, `git push -f`, `git push --force-with-lease`). This is an absolute rule with no exceptions. Force push can silently destroy other people's work and stashed changes.
 

.claude/skills/add-model.md .claude/skills/add-model/SKILL.md.claude/skills/add-model.md renamed to .claude/skills/add-model/SKILL.md

@@ -114,7 +114,7 @@ Update `docs/paper/reductions.typ`:
 make test clippy  # Must pass
 ```
 
-Then run the [review-implementation](review-implementation.md) skill to verify all structural and semantic checks pass.
+Then run the [review-implementation](../review-implementation/SKILL.md) skill to verify all structural and semantic checks pass.
 
 ## Naming Conventions
 

.claude/skills/add-rule.md .claude/skills/add-rule/SKILL.md.claude/skills/add-rule.md renamed to .claude/skills/add-rule/SKILL.md

@@ -155,7 +155,7 @@ cargo run --example export_graph  # Update reduction_graph.json
 make test clippy                  # Must pass
 ```
 
-Then run the [review-implementation](review-implementation.md) skill to verify all structural and semantic checks pass.
+Then run the [review-implementation](../review-implementation/SKILL.md) skill to verify all structural and semantic checks pass.
 
 ## Solver Rules
 

.claude/skills/issue-to-pr.md .claude/skills/issue-to-pr/SKILL.md.claude/skills/issue-to-pr.md renamed to .claude/skills/issue-to-pr/SKILL.md

@@ -38,8 +38,8 @@ Present issue summary to user.
 ### 3. Classify and Validate
 
 Determine the issue type from its title/labels:
-- **`[Model]`** issues -> validate against the checklist in [add-model](add-model.md) Step 0
-- **`[Rule]`** issues -> validate against the checklist in [add-rule](add-rule.md) Step 0
+- **`[Model]`** issues -> validate against the checklist in [add-model](../add-model/SKILL.md) Step 0
+- **`[Rule]`** issues -> validate against the checklist in [add-rule](../add-rule/SKILL.md) Step 0
 
 Check every item in the relevant checklist against the issue body. Verify facts provided by the user -- feel free to use `WebSearch` and `WebFetch` to cross-check claims.
 
@@ -62,8 +62,8 @@ Write plan to `docs/plans/YYYY-MM-DD-<slug>.md` using `superpowers:writing-plans
 
 The plan MUST reference the appropriate implementation skill and follow its steps:
 
-- **For `[Model]` issues:** Follow [add-model](add-model.md) Steps 1-7 as the action pipeline
-- **For `[Rule]` issues:** Follow [add-rule](add-rule.md) Steps 1-6 as the action pipeline
+- **For `[Model]` issues:** Follow [add-model](../add-model/SKILL.md) Steps 1-7 as the action pipeline
+- **For `[Rule]` issues:** Follow [add-rule](../add-rule/SKILL.md) Steps 1-6 as the action pipeline
 
 Include the concrete details from the issue (problem definition, reduction algorithm, example, etc.) mapped onto each step.