skills.rest
Shiien
ShiienCOMMUNITY
Explore all skills by this author →
GitHub

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
One-click install
npx skills add https://github.com/Shiien/Self-Evolved-Research-Framework --skill proof-write
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Education & Research Skills→
raja21068raja21068
2

proof-writer

Produce rigorous proof packages for ML/AI theory claims with dependency maps.

Community
Advanced
ShiienShiien
7

proof-formalize

Convert validated proofs into LaTeX writeups with theorem environments.

Community
Advanced
wanshuiyinwanshuiyin
123

proof-derivation-forensics

Analyze LaTeX mathematical proofs for logical gaps and circular reasoning.

Community
Advanced
Leo1349Leo1349

proof-writer

Generate rigorous mathematical proofs and validate claims in machine learning theory.

Community
Advanced