auditing-mathematical-claims

What problem does it solve?

This Skill adversarially reviews formal mathematical claims to find hidden assumptions, weak links in proofs, and statements that are too broad to survive scrutiny.

Core Features & Use Cases

• Per-claim audit structure: Breaks each theorem, lemma, bound, definition, or equation into a four-part review: Location, Concern, Strongest counter, and Stops-mattering-if.
• Implicit assumption detection: Checks for missing details about norm, measure, domain, smoothness, finiteness, operation preservation, boundary conditions, constants, and quantifier order.
• Prioritized remediation: Ranks concerns by severity, likelihood, and detectability, then recommends whether to tighten, restrict, weaken, disprove, or defer the claim.
• Best for: Finished proofs, paper sections, formal bounds, and theory-heavy arguments that need a red-team pass before submission or release.

Quick Start

Ask this Skill to audit the theorem or proof section you just finished and identify the strongest concern, the strongest defense, and the condition that would dissolve it.