CBirkbeck

Buzz — Development skill for Claude Code

Development community

Profile Lean declarations, find the slow ones, trace-diagnose the root cause, and fix them until each elaborates fast — ideally under a second.

How to install Buzz

Installs to ~/.claude/skills/cbirkbeck-mathlib-quality-buzz/SKILL.md

Terminal

mkdir -p ~/.claude/skills/cbirkbeck-mathlib-quality-buzz && curl -fsSL https://raw.githubusercontent.com/CBirkbeck/mathlib-quality/HEAD/commands/buzz.md -o ~/.claude/skills/cbirkbeck-mathlib-quality-buzz/SKILL.md

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

What Buzz does

name: buzz description: Profile Lean declarations, find the slow ones, trace-diagnose the root cause, and fix them until each elaborates fast — ideally under a second. Statements never change; maxHeartbeats never goes up.

/buzz — Make Slow Proofs Fast

Find every declaration that elaborates slowly, work out **why** from the profiler and the traces, and fix it — target: each declaration under **one second** on the current machine.

The workflow this command automates is the one a mathl

Alternatives in Development

Root Cause Tracing — Use when errors occur deep in execution and you need to trace back to find the original trigger 102.5k ★
Value Prop Statements — Generate value prop statements for marketing, sales, and onboarding 7.8k ★
Investigate Performance — Investigate a Nimbalyst performance problem (freeze, lag, idle CPU, slow op, memory growth) with measured evid 1.6k ★