ekirton

Profile

Name: Profile
Author: ekirton

Productivity community

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

Description

Profile Coq proof compilation time, identify bottlenecks, and suggest optimizations. This command is read-only — it measures performance and reports findings. It never modifies source files. ## Determine the profiling target Parse the user's arguments: - **A file path** (e.g., `src/Core.v`): profile all proofs in the file, ranked by compilation time. - **A file path and lemma name** (e.g., `src/Core.v Nat.add_comm`): profile a specific proof in detail. - **`--compare <baseline>`**: compare cu

Installation

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

Terminal

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

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