Write rigorous mathematical proofs
mathematical-proof-logicskillsetup L1★64
Tibsfox/gsd-skill-creator ↗What it does
Verify validity of mathematical proof sequences
Best for
When verifying whether a proof sequence respects formal logical rules.
Inputs
- · proof sequence (ordered formulas)
Outputs
- · validity verdict (valid/invalid)
- · rule application sequence
Preconditions
Proof sequence formally stated or clearly described
Failure modes
Scope ambiguity in quantifiers; unstated axiom assumptions; intermediate steps missing
Trust signals
- · Tibsfox/gsd-skill-creator
- · references first-order logic axiom systems