What problem does it solve? Final mathematical proofs often rely on cited theorems, dependency steps, and standard facts whose statements, notation, or assumptions may not actually hold in the current setting. This Skill performs a diagnostic citation audit of an assembled proof and its LaTeX bundle, catching source-fidelity errors, notation drift, and undischargeable assumptions before acceptance. ## Core Features & Use Cases - Citation-Use Mapping: Builds a map of every cited theorem, lemma, dependency step, and standard fact across the final proof and LaTeX bundle, recording instantiated objects and discharge locations. - Source Fidelity and Notation Checks: Verifies each cited result exists, supports the exact statement used, and is restated in current-branch notation with correct parameter regimes and explicit-rate dependencies. - Assumption Discharge and Repair Localization: Confirms every hypothesis is discharged from accepted artifacts and emits a verdict with blocking issues, suggested repair depth (assembly, step, sketch, or idea), and the smallest repair target. - Use Case: After running /proof-assembly on a theorem candidate, invoke this reviewer to produce proof_review_citation.md, which flags a LaTeX-only citation missing from reference.bib as blocking and routes the repair to the assembly stage. ## Quick Start Run the proof-review-citation skill on the assembled proof in perspective_M/idea_N to generate a diagnostic proof_review_citation.md verdict.
