proof-writer
CommunityWrite rigorous mathematical proofs.
Education & Research#formal verification#theorem proving#proof writing#mathematical formalization#lemma generation#ml theory
Authorwanshuiyin
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the generation of rigorous mathematical proofs for theorems, lemmas, propositions, and corollaries, ensuring mathematical honesty and completeness.
Core Features & Use Cases
- Formal Proof Generation: Writes complete, step-by-step proofs for mathematical claims.
- Claim Verification: Assesses whether a claim is provable as stated, requires modifications, or is currently unjustified.
- Use Case: When presented with a new theorem in an AI research paper, use this Skill to formally prove it, identify any missing assumptions, or formalize a provided proof sketch.
Quick Start
Use the proof-writer skill to write a proof for the following theorem statement and assumptions.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: proof-writer Download link: https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/archive/main.zip#proof-writer Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.