What problem does it solve? Verifying that an assembled mathematical proof faithfully matches its intended theorem, covers every accepted proof step, and produces a paper-ready LaTeX bundle is error-prone when done manually. This Skill performs a diagnostic structural review of a final proof assembly, catching mismatched claims, missing derivations, and synchronization defects before acceptance. ## Core Features & Use Cases - Claim Integrity Audit: Compares the attempted theorem in the LaTeX bundle against the authoritative setting, detecting silent strengthening, narrowed regimes, or placeholder dependence. - Dependency and Coverage Checks: Maps every required sketch step to accepted proof artifacts, verifies dependency closure, and flags orphan blocks or cyclic dependencies. - LaTeX Bundle Validation: Enforces paper-ready structure including numbered assumptions, self-contained theorem statements, appendix proof completeness, and removal of workflow scaffolding prose. - Use Case: After assembling a theorem proof from accepted step artifacts, run this reviewer to produce a diagnostic report with a verdict, blocking issues, and the smallest repair target before controller routing. ## Quick Start Run the structural proof review on the assembled LaTeX bundle and accepted step artifacts for the current idea to generate proof_review_structural.md.
