plan-review
Plan Review
Automated two-reviewer plan QA loop. Dispatches independent reviewers in parallel (or sequentially), then corrects the plan iteratively until all MEDIUM+ issues are resolved or the iteration cap is reached.
Invocation
/plan-review— review the active plan in the default mode (parallel)/plan-review path/to/plan.md— review the given file in default mode (parallel)/plan-review sequential— sequential dispatch (first reviewer completes before the second starts)/plan-review claude-only— force fallback mode (two Claude Agents, spec + exec split)/plan-review claude-only sequential— fallback mode, sequential/plan-review claude-only path/to/plan.md— fallback mode on a file path/plan-review path/to/plan.md sequential claude-only— argument order does not matter
Argument tokenizer
Every command-line argument is exactly one of:
More from adebayobraimah/install-local-skills
inkscape
|
2data-viz
Use this skill whenever the user asks to visualize data, choose charts, critique plots, build publication-quality figures, analyze ML/statistical results, plot embeddings, inspect distributions/time series/geospatial data, create dashboards, or explain visualization tradeoffs. Produces visualization plans, reproducible code, interpretation, and critique while flagging misleading encodings, artifacts, uncertainty, and scalability limits.
1gimp
|
1plan-review-cdx
|
1mathematician
Use this skill for mathematical reasoning, theorem proving, proof checking, Lean 4 formalization, LaTeX/Markdown math exposition, counterexample search, theorem/proof decomposition, and proof repair. Use it whenever the user asks to prove, disprove, formalize, verify, analyze, or repair a mathematical claim, especially if Lean, LaTeX, assumptions, lemmas, or counterexamples are involved.
1mathematician-ai-ml
Use this skill for AI/ML mathematical reasoning, proof checking, theorem critique, Lean 4 formalization, mathlib search, LaTeX/Markdown exposition, and paper-ready mathematical writing. Use it whenever the user asks to prove, disprove, formalize, verify, derive, critique, or repair mathematics in machine learning, deep learning, reinforcement learning, optimization, probability, statistics, information theory, linear algebra, convex analysis, generalization theory, Bellman equations, MDPs/POMDPs, SGD, concentration bounds, ELBOs, KL/mutual information, or related AI/ML research claims, even if they do not explicitly mention Lean.
1