一键导入
code-refine
Incorporate feedback into code review policies, standards, and infrastructure
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Incorporate feedback into code review policies, standards, and infrastructure
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
Explicitly invoked only. Authoritative reference for the Ragu formal-verification project — Clean DSL semantics (Circuit monad, Expression, Operation, ProvableType, FormalCircuit) and Ragu-side concepts (extraction driver, formal instances, input/output serialization, assumptions, CI). Routes to the live in-tree FV docs; the docs are the spec, not opinion. Pair with /fv-review for opinion / pattern-matching guidance. Invoke when the user types `/fv-docs` or asks for the canonical definition of a Clean / Ragu-FV concept.
Explicitly invoked only. Lessons learned from porting Ragu Rust circuits to Clean Lean formal verification reimpls — when not to formalize an empty circuit, picking FormalCircuit vs FormalAssertion vs GeneralFormalCircuit, mirroring Rust delegation, length polymorphism, naming conventions, and reading proof failures (stuck goals, hypotheses you're forced to add) as under-constraint / undocumented-precondition bug signals. Distilled from PR review feedback (mitschabaude et al.) and refined over time. Do NOT auto-trigger on general formal verification, Lean, or Ragu questions; only invoke when the user explicitly types `/fv-review` or asks by name.
Explicitly invoked only. Loads context for the Verified-zkEVM `clean` codebase — an embedded Lean DSL for formally verified zk circuits (AIR/PLONK/R1CS) with Circuit monad, ProvableType/ProvableStruct, FormalCircuit (soundness/completeness), and gadget composition. Do NOT auto-trigger on general Lean, ZK, or circuit questions; only invoke when the user explicitly types `/clean-circuits` or asks by name to use this skill.
Review any part of the book using parallel specialist agents
Review code using parallel specialist agents
Audit documentation surface placement (book vs. rustdoc) and refine the policy
基于 SOC 职业分类
| name | code-refine |
| description | Incorporate feedback into code review policies, standards, and infrastructure |
| user-invocable | true |
Incorporate the user's feedback into the code review system. The feedback is in
$ARGUMENTS and/or in the preceding conversation context. This skill modifies
the code review infrastructure itself to make future reviews better.
You MUST use plan mode (EnterPlanMode) for this skill. Do all analysis and auditing first, present a plan for the user's approval, and only then execute.
Read ALL of these files before doing anything else:
.claude/review-shared/writing.md — Shared writing rules (used by book-review and code-review).claude/review-shared/math.md — Shared math notation rules (used by book-review and code-review).claude/code-review/standards.md — Master standards shared across all code reviewers.claude/code-review/*.md — Per-focus review policies.claude/skills/code-review/SKILL.md — Code review orchestration.claude/skills/code-refine/SKILL.md — This fileThe user's feedback could be anything. Common forms:
Don't just record the specific instance — extract the underlying principle. Examples:
| User says | Generalized rule |
|---|---|
| "Don't flag this as an unwrap issue, it's inside a test" | unwrap() and expect() are acceptable in test code (#[cfg(test)] modules and tests/ crates) |
| "The naming reviewer shouldn't complain about single-letter variables in closures" | Single-letter names are acceptable in short closures and iterator chains where the type provides sufficient context |
| "You missed that the doc comment says 'evaluate' but the function is called 'eval_at'" | Flag mismatches between doc comment verbs and function names — the doc summary should use the same verb as the function name |
"Stop flagging my as casts in const contexts" | as casts are acceptable in const contexts where try_into() is not available |
| "This function is too complex to split — add an exception for synthesis functions" | Functions that orchestrate circuit synthesis may exceed the 50-line guideline when splitting would obscure the constraint structure |
"You should also check that // SAFETY: comments actually justify the invariant" | (Strengthening an existing rule: don't just check presence of // SAFETY:, verify the comment explains soundness) |
If you're not sure how to generalize a specific correction into a principle, ask the user. Don't guess — a wrong generalization is worse than none.
Before deciding where to put anything, review the full set of policies and standards as a whole. Look for:
documentation.md that's really about correctness belongs in
correctness.md. Flag and propose moves..claude/review-shared/ rather than .claude/code-review/.Include any findings from this audit in your plan, even if they go beyond the user's immediate feedback. The goal is to keep the policy system coherent as it grows.
Enter plan mode (EnterPlanMode). Your plan should include:
.claude/review-shared/writing.md.claude/review-shared/math.md.claude/code-review/standards.md.claude/code-review/*.md.claude/code-review/{name}.md.claude/skills/code-review/SKILL.mdWhen in doubt between general and specific placement, prefer the more specific
location. A rule can always be promoted to .claude/code-review/standards.md
later if it turns out to be universal.
Wait for user approval before proceeding.
After the user approves the plan:
.claude/code-review/standards.md, add to the appropriate existing
section or create a new section if none fits.Tell the user: