proof-write

Generate a LaTeX-ready first-draft proof with stepwise justifications.

7|1|Updated Mar 19, 2026

Search Tags:#mathematics #reasoning #latex #theorem #proof-assistance #proof-writing

Ready to run

npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-write

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: proof-write
Source: https://github.com/Shiien/Self-Evolved-Research-Framework/tree/main/skills/proof-write
Command: npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-write

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Generates a coherent first-draft proof from a bare theorem or proposition by selecting an appropriate strategy and laying out each justification for every step.

Core Features & Use Cases

Strategy-aware: automatically selects a proof strategy (direct, induction, contradiction, contrapositive, construction) suited to the claim.
Stepwise justification: every inference is supported by a short, explicit justification.
LaTeX-ready output: produces a ready-to-include proof fragment for publication or further refinement.

Quick Start

Provide a bare theorem and request a first-draft proof; the system will choose a strategy and present a justified draft.

Frequently Asked Questions about proof-write

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

FAQPage Schema

How do I generate a mathematical proof from a theorem statement?▼

To generate a mathematical proof, provide a bare theorem or proposition and the system selects an appropriate proof strategy, laying out each inference with step-by-step justifications to form a coherent draft.

What proof strategies are supported for drafting mathematical arguments?▼

Supported proof strategies include direct, induction, contradiction, contrapositive, and construction methods. The system automatically selects the most appropriate strategy suited to the specific mathematical claim provided.

Can I get LaTeX-ready output for a first-draft mathematical proof?▼

Yes, the system produces a LaTeX-ready proof fragment suitable for integration into a larger document. This output supports subsequent critique and refinement workflows for publication preparation.

Does the proof-writing assistant provide justifications for each inference step?▼

The proof-writing assistant provides explicit, short justifications for every inference step. This ensures that each logical progression within the draft is fully supported and coherent.

What is the best way to draft a proof by contradiction from a proposition?▼

The best way to draft a proof by contradiction is to provide the bare proposition. The system identifies the theorem statement, selects contradiction as the strategy, and generates a justified draft automatically.

Can I refine a generated mathematical proof after the first draft?▼

Yes, the generated LaTeX-ready proof fragment supports subsequent critique and refinement workflows. You can iteratively refine the stepwise justifications and overall logical structure after the initial draft.