proof-writer

Draft rigorous mathematical proofs by normalizing the theorem claim, listing explicit assumptions, and generating a structured proof package with step-by-step justifications and a dependency map.

Assess theorem feasibility by evaluating the exact claim and local context to determine whether it is provable as stated, provable after weakening, or not currently justified, identifying required extra assumptions.

Structure a proof package by extracting the theorem claim and notation, then producing a PROOF_PACKAGE.md draft containing the strategy, dependency map, required lemmas, and detailed references.

Generate mathematically honest, checkable proofs for theorems, lemmas, propositions, and corollaries by ensuring each deduction step is explicitly justified and traceable to its dependencies.

When a claim is not currently justified, the proof assessment identifies the specific missing assumptions and determines whether the theorem is provable after weakening the original statement.

Theorem proof drafts lack traceability when missing a dependency map; generating a structured proof package ensures explicit justification links each step to the original assumptions and definitions.