ekirton

Formalize — Development skill for Claude Code

Development community

Formalization Assistance: guide a user from a natural language theorem description to a completed, type-checked Coq proof in a single conversational session.

How to install Formalize

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.

What Formalize does

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

Alternatives in Development

Internet Court Skill — The trust layer for agent-to-agent commerce — natural-language mandates, ERC-7710 delegated permissions, x402 4.9k ★
Auto — Smart router - Single entry point with natural language intent detection 2.8k ★
Shortcuts Playground Plugin — Shortcuts Playground: A Claude Code and Codex plugin for building, validating, signing, and remixing macOS/iOS 1.1k ★