proof-writer

Name: proof-writer
Availability: InStock
Author: Chanw-research

Draft rigorous mathematical proofs for ML/AI theory theorems.

38|3|Updated May 7, 2026

Search Tags:#proof #formalization #ai-research #theorem #lemma #proof-writing #ml-theory

Ready to run

npx skills add https://github.com/Chanw-research/claude-code-paper-writing --skill proof-writer-chanw-research

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: proof-writer
Source: https://github.com/Chanw-research/claude-code-paper-writing/tree/main/skills/document-handling/proof-writer
Command: npx skills add https://github.com/Chanw-research/claude-code-paper-writing --skill proof-writer-chanw-research

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Converts informal intuition and draft notes into rigorous, checkable proofs for ML/AI theory, filling missing steps and ensuring logical correctness.

Core Features & Use Cases

Normalize an exact theorem statement with explicit assumptions.
Propose proof strategies, fill in missing steps, and generate a formal Proof Package ready for peer review.
Use cases include completing proof sketches in theoretical notes, verifying arguments in manuscripts, and teaching rigorous proof-writing workflows.

Quick Start

Provide the exact theorem statement and assumptions, then request a complete proof draft following the Proof Write workflow.

Frequently Asked Questions about proof-writer

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I write rigorous mathematical proofs for machine learning theory?▼

Writing rigorous ML proofs involves normalizing exact theorem statements with explicit assumptions, proposing strategies, and filling missing steps to generate a formal Proof Package ready for peer review. This process converts informal intuition into verifiable logical arguments.

What is a formal Proof Package for theoretical AI research?▼

A formal Proof Package is a structured output for theoretical claims that includes an exact claim, explicit assumptions, defined notation, a dependency map, a structured proof, and a verifiable status to ensure logical correctness for manuscripts or notes.

Can I formalize incomplete proof sketches for lemmas and corollaries?▼

Yes, you can formalize incomplete proof sketches for lemmas, propositions, or corollaries by providing the exact theorem statement and assumptions. The system fills in missing steps and generates a fully formal argument ranging from a draft to a complete proof.

How do I verify the logical correctness of theorem arguments in my manuscript?▼

To verify theorem arguments in a manuscript, normalize the theorem statement with explicit assumptions and request a complete proof draft. The resulting structured proof and verifiable status highlight missing steps and ensure logical correctness for peer review.

Do I need explicit assumptions to draft formal ML proofs?▼

Yes, explicit assumptions are required to draft formal ML proofs. Providing the exact theorem statement alongside these assumptions and any user-provided sketch is necessary to generate a complete and rigorous Proof Package following the Proof Write workflow.

What is the best way to complete missing steps in a formalization proof?▼

The best way to complete missing steps in a formalization proof is to supply the exact claim, explicit assumptions, and any draft notes. The system then proposes proof strategies and fills the gaps to produce a structured, checkable proof.