com um clique
book-fixme
Resolve deferred book issues from FIXME.md
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Menu
Resolve deferred book issues from FIXME.md
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
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
| name | book-fixme |
| description | Resolve deferred book issues from FIXME.md |
| user-invocable | true |
Resolve deferred issues tracked in book/FIXME.md. The user's $ARGUMENTS
determine what to work on.
Read book/FIXME.md and parse the ###-level entries under
## Deferred Issues. Build a list of all tracked issues with their headings
and descriptions.
| Arguments | What to do |
|---|---|
| (empty) | Present the full list of deferred issues to the user. Use AskUserQuestion to let them pick which to work on. |
| A specific FIXME heading or partial match | Fuzzy-match against ### headings. Select matching entries. |
| A theme that spans multiple entries | Collect all entries whose headings or descriptions match the theme. |
| A description that includes the user's proposed solution | Match the issue AND extract the solution to use as the starting point. |
Fuzzy-match against both the ### headings and the description paragraphs
beneath them. If the match is ambiguous (multiple plausible interpretations),
ask the user to clarify.
For each target issue:
If an issue appears to already be resolved, say so — the user may just want to clear the FIXME entry.
For each target issue that still needs work:
$ARGUMENTS, use it as the basis.
Do not invent an alternative approach — the user knows the book better than
the reviewer does.Present the plan to the user for approval before making any edits. Show what will change in each file with enough context to evaluate the fix.
Before applying, validate the proposed fixes against review policies:
Use Glob to find all .claude/book-review/*.md files.
Read .claude/book-review/standards.md (master standards).
For EACH policy file (except standards.md), launch a general-purpose
Task agent (model sonnet) with this prompt:
You are validating a set of proposed book edits against review policies.
Read these files:
.claude/book-review/standards.md(master standards).claude/book-review/{focus}.md(your policy)Here are the proposed changes: {numbered list of proposed changes with locations and suggested rewrites}
For each proposed change, check whether applying it would introduce a violation of any rule in your policy or the master standards. Only flag real conflicts — do not restate rules that are already satisfied.
For each conflict found:
- Change #: which proposed change
- Rule violated: quote the relevant policy text
- Conflict: explain specifically how the suggestion violates the rule
- Resolution: suggest how to fix the suggestion to comply
If no proposed changes conflict with your policy, say so.
Launch ALL agents in parallel.
If validators flag conflicts, adjust the proposed fixes accordingly and note the adjustments to the user.
For each approved fix:
After applying fixes:
book/FIXME.md.###-level entries for each resolved issue.## Deferred Issues are resolved, leave the section
header with no entries beneath it.Run QA scripts on affected files:
python3 qa/book/line_width.py — check line width compliancepython3 qa/book/broken_links.py — check for broken internal linksIf a script fails to run, note the failure but do not block.
Tell the user: