CBirkbeck

Cleanup All — Development skill for Claude Code

Development community

Project-wide cleanup using an orchestrator-worker pattern.

How to install Cleanup All

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

Terminal

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

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

What Cleanup All does

name: cleanup-all description: Project-wide cleanup using an orchestrator-worker pattern. The main session is the orchestrator — it does NOT read files, run lean_* tools, or edit. It dispatches batched per-file Agent calls with tight prompts (working dir + branch + build state + sequence + target), then narrates progress in one-line scoreboards between dispatches. Actual work happens in fresh subagent contexts so the orchestrator's context stays light and the session sustains across many hou

Alternatives in Development

Obsidian MCP Server — Read, write, search, and surgically edit Obsidian vault notes, tags, and frontmatter via MCP 686 ★
MCP Edit — tilth_write replaces the host Edit and Write tools 349 ★
Cleanup Health Check — Execute the cleanup-health-inline skill for inline orchestration 172 ★