plan-review-cdx
Plan Review CDX
Automated two-reviewer plan QA loop for Codex. Runs two independent Codex reviewers, merges their feedback, corrects the plan, and repeats until all MEDIUM+ issues are resolved or the iteration cap is reached.
This skill is a review-and-correction workflow only. It never executes the plan being reviewed.
Invocation
plan-review-cdx- review the active plan in context.plan-review-cdx path/to/plan.md- review the plan at the given path.plan-review-cdx sequential- review the active plan sequentially.plan-review-cdx sequential path/to/plan.md- review the given plan sequentially.plan-review-cdx path/to/plan.md sequential- same; argument order does not matter.
Parallel mode is the default. Both reviewers run at the same time and do not see each other's feedback.
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
|
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