mathlib-quality은(는) 무엇을 하나요?
Lean 4 코드를 정리하고, 골프하며, mathlib 표준에 맞게 개선하는 Claude Code 스킬 플러그인입니다.
Claude Code 스킬 플러그인으로, Lean 4 코드를 정리하고, 골프(Golf)하며, mathlib 표준에 맞게 개선합니다.
CBirkbeck/mathlib-quality는 Claude Code 환경에서 Lean 4 코드의 품질을 향상시키기 위한 스킬입니다. 이 스킬은 코드 정리(clean up), 코드 골프(code golf), 그리고 코드를 mathlib 표준에 맞게 리팩토링하는 기능을 제공합니다. 수학 관련 Lean 4 프로젝트를 진행하는 개발자나 연구자에게 유용하며, 특히 mathlib에 기여할 때 필수적인 코딩 스타일과 규칙을 자동으로 적용합니다. Claude Code의 능력을 활용하여 코드 일관성을 유지하고, 불필요한 구문을 제거하며, 더 간결하고 가독성 높은 Lean 4 코드로 변환합니다. mathlib 커뮤니티의 표준을 따르는 코드를 쉽게 유지할 수 있도록 도와줍니다.
npx skills add CBirkbeck/mathlib-qualityInstalled? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Lean 4 코드를 정리하고, 골프하며, mathlib 표준에 맞게 개선하는 Claude Code 스킬 플러그인입니다.
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.