CBirkbeck/mathlib-quality
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
npx add-skill CBirkbeck/mathlib-qualityClaude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
개인 작업용 codex 세팅 및 스킬들
专门为codex准备的skill仓库
批量阅读文献/批量将pdf文件转换成md文件的skill
Personal collection of agent skills for planning, executing, tracking, and reviewing software engineering work — plus a utility for keeping CLAUDE.md files lean.
Automate Certifier tasks via Rube MCP (Composio). Always search tools first for current schemas.
Agent skill repository for NeoPham98/qa-qc-agent-skills.