CBirkbeck
Bump Mathlib — Development skill for Claude Code
Development community
Bump mathlib version and fix resulting breakage.
How to install Bump Mathlib
Installs to ~/.claude/skills/cbirkbeck-mathlib-quality-bump-mathlib/SKILL.md
Terminal
mkdir -p ~/.claude/skills/cbirkbeck-mathlib-quality-bump-mathlib && curl -fsSL https://raw.githubusercontent.com/CBirkbeck/mathlib-quality/HEAD/commands/bump-mathlib.md -o ~/.claude/skills/cbirkbeck-mathlib-quality-bump-mathlib/SKILL.md Restart Claude Code, or start a new session, for it to be picked up.
What Bump Mathlib does
name: bump-mathlib description: Bump mathlib version and fix resulting breakage
/bump-mathlib - Bump Mathlib and Fix Breakage
Update the mathlib dependency (or merge upstream for mathlib PRs), build, and fix all errors caused by the bump.
Usage
/bump-mathlib # Auto-detect context and bump to latest
/bump-mathlib # Bump to a specific mathlib version/dateWorkflow
Step 1: Detect Context
Determine whether this is:
**A) A stan
Alternatives in Development
- Anthropic SDK Python — PyPI version 3.9k ★
- APIs Version Update — API Version Update Guide for Hydrogen 2.1k ★
- Release Extension — Release a new version of a marketplace extension 1.6k ★
Full documentation available on GitHub
View Source RepositoryRelated Skills
Bump Plugin Version
Detect changed plugins and bump their versions along with the marketplace version.
community
Version Bump
Bump versions across the monorepo during release process
community
Reapdev.VersionBump
Version bump — 변경 분석 후 bump 유형을 제안, 유저가 최종 결정
community
Pre Release
Pre-release checklist before version bump
community
Update Version
Bump semver versions for changed plugins and marketplace based on main diff
community
Package
Bump version, build wheel, and publish to PyPI
community
