New to Claude Skills? Learn how to install them →

Get Claude Skills

Proof Generation skills

Free agent skills tagged proof generation, ready to install into any SKILL.md-compatible agent.

3 skills

Best matchMost starredNewest

Proof Writer

wanshuiyin

Generate rigorous mathematical proofs for ML/AI theories.

Research & Educationadvanced14.5k repo