Proof Lint
Description
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
Installation
Installs to ~/.claude/skills/ekirton-poule-proof-lint/SKILL.md
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.
Full documentation available on GitHub
View Source RepositoryRelated Skills
Algorithmic Art
Create generative art using p5.js with seeded randomness, flow fields, and particle systems
Brand Guidelines
Apply Anthropic's official brand colors and typography to artifacts
Canvas Design
Create beautiful visual art in PNG and PDF documents using design philosophy
Frontend Design
Create distinctive, production-grade frontend interfaces with high design quality
Slack Gif Creator
Create animated GIFs optimized for Slack's size constraints
Theme Factory
Style artifacts with professional themes including 10 pre-set color/font combinations