What does mathlib-quality do?
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
mathlib-quality is a Claude Code agent skill that claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards.
npx skills add CBirkbeck/mathlib-qualityInstalled? Explore more Coding & Development skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.