ekirton

Formalize

Name: Formalize
Author: ekirton

Development community

SOURCE https://github.com/ekirton/Poule/blob/main/commands/formalize.md

Description

Formalization Assistance: guide a user from a natural language theorem description to a completed, type-checked Coq proof in a single conversational session. ## Step 1: Understand the User's Intent The user will describe what they want to prove in natural language or mathematical prose. Your job is to extract the precise mathematical intent. - If the description is clear and complete, proceed to Step 2. - If the description is ambiguous, underspecified, or could refer to multiple formalizatio

Installation

Installs to ~/.claude/skills/ekirton-poule-formalize/SKILL.md

Terminal

mkdir -p ~/.claude/skills/ekirton-poule-formalize && curl -fsSL https://raw.githubusercontent.com/ekirton/Poule/HEAD/commands/formalize.md -o ~/.claude/skills/ekirton-poule-formalize/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.