Does it support different proof techniques?

Absolutely; the skill identifies and guides the use of various techniques including direct proof, contrapositive, contradiction, construction, and cases.

Why prioritize 'words between symbols'?

Bare equation chains often obscure the underlying logic; using connective text makes the reasoning transparent and far easier for human readers to follow.

What mathematical style does this skill follow?

It is inspired by modern, student-centric pedagogy found in textbooks like Jay Cummings' Real Analysis, focusing on conversational yet rigorous explanations.

Can this skill be used for math tutoring?

Yes, it is specifically designed to provide intuition and motivation before formalism, making it an excellent tool for explaining difficult concepts to students.

How does this skill improve mathematical writing?

It enforces a structured approach that includes pre-proof strategy, explanatory prose between equations, and post-proof analysis, ensuring logical clarity over mere correctness.

Long-Form Mathematics

Name: Long-Form Mathematics
Author: dashed

bydashed

•

Learning & Documentation

Generates detailed, textbook-quality mathematical proofs and educational content focused on intuition and deep understanding.

The long-form-math skill transforms Claude into an expert mathematical communicator, moving beyond terse equation chains to provide rich, expository content. By following a three-phase workflow—strategy, proof, and analysis—it ensures that mathematical concepts are not just stated, but motivated and thoroughly explained. It is ideal for students, educators, and researchers who need to document complex reasoning, write tutorials, or bridge the gap between informal intuition and rigorous formal proof, drawing inspiration from pedagogical masters like Jay Cummings and Gary Chartrand.

Key Features

01Intuition-first exposition patterns that motivate formal definitions using problems or puzzles.

02Connective prose that justifies every step and explains the logic behind equations.

03Post-proof analysis to highlight 'morals', alternative approaches, and reverse engineering.

04Strict adherence to professional mathematical writing rules and formatting standards.

05Three-phase proof workflow including scratch work, strategy selection, and reflection.

069 GitHub stars

Use Cases

01Drafting rigorous mathematical documentation that prioritizes conceptual clarity over brevity.

02Generating textbook-style proofs for educational materials and lecture notes.

03Explaining complex mathematical theorems and definitions to students or non-experts.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add dashed/claude-marketplace long-form-math

For use in Claude.ai and ChatGPT

Key Features

01Intuition-first exposition patterns that motivate formal definitions using problems or puzzles.

02Connective prose that justifies every step and explains the logic behind equations.

03Post-proof analysis to highlight 'morals', alternative approaches, and reverse engineering.

04Strict adherence to professional mathematical writing rules and formatting standards.

05Three-phase proof workflow including scratch work, strategy selection, and reflection.

069 GitHub stars

Use Cases

01Drafting rigorous mathematical documentation that prioritizes conceptual clarity over brevity.

02Generating textbook-style proofs for educational materials and lecture notes.

03Explaining complex mathematical theorems and definitions to students or non-experts.