ekirton

Proof Lint — Design skill for Claude Code

Design community

You are executing the /proof-lint command.

How to install Proof Lint

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

Terminal

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

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

What Proof Lint does

You are executing the `/proof-lint` command. This command scans Coq proof scripts for deprecated tactics, inconsistent bullet style, and unnecessarily complex tactic chains. It reports findings grouped by category with file:line locations and suggested fixes. When the user requests auto-fix, it applies changes and verifies each one through a proof session.

Determine scope

The user may provide a scope argument after `/proof-lint`:

A specific .v file path: lint that file only.
A directo

Alternatives in Design

Brand Guidelines — Apply Anthropic's official brand colors and typography to artifacts 94.1k ★
Planning With Files — Claude Code skill implementing Manus-style persistent markdown planning — the workflow pattern behind the $2B 17.4k ★
Explanatory Output Style — Educational output mode with insights about implementation choices 14k ★