ekirton

Profile — Productivity skill for Claude Code

Productivity community

Profile Coq proof compilation time, identify bottlenecks, and suggest optimizations.

How to install Profile

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.

What Profile does

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 : compare cu

Alternatives in Productivity

Getting Help — career-ops is an open source project maintained in limited time 32.5k ★
Performance Optimization Skill — Systematic performance analysis and optimization for RTK CLI tool, focusing on startup time (<10ms), memory us 11.9k ★
Om Correct — Sweep a corrected fact through the vault — finds every note restating it, applies the correction at the single 4.6k ★