CBirkbeck

Split File — Development skill for Claude Code

Development community

Split large files (>1500 lines) into focused modules.

How to install Split File

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

Terminal

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

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

What Split File does

name: split-file description: Split large files (>1500 lines) into focused modules

/split-file - Split Large Lean Files

Split a large Lean file (>1500 lines) into smaller, focused modules.

Usage

/split-file [file_path]

Splitting Strategy

Step 1: Analyze the File

Get the file outline using lean_file_outline
List all declarations with their line numbers
Group declarations by naming prefix (e.g., cauchyPrincipalValue*, residue*)

Step 2: Identif

Alternatives in Development

Flow Parallel — Decompose and execute large changes, migrations, or multi-issue fixes in parallel with quality gates 2.8k ★
00 Index — Skill Modules Index 1.1k ★
Module Status — Show status of all modules or a specific module (enabled/disabled, version, routes, migrations) 407 ★