Verify Math: Route a Math Claim Through the Verification Spectrum

The front door for verifying self-authored mathematics. Classify each claim, dispatch it to the strongest applicable rung(s), and merge the sub-verdicts into one report. This skill does not verify anything itself — it routes and aggregates; the rungs do the work.

When to Use

• You have a Proposition / Theorem / Conjecture (or a whole paper's worth) and want it verified with the right method(s), possibly combined.
• verify-math, "verify this theorem", "check all the math in the paper", "is this result correct".
• The operational front end of mark-unverified: run this before asserting a self-authored result.

When NOT to Use

• You already know the single method → call it directly (numerical-check, symbolic-check, lean-check, or domain-reviewer).
• Non-mathematical claims (citations, prose) → proofread, bib-validate, domain-reviewer.

The verification spectrum (the rungs it routes to)