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
Shared Claude Code skills
lunar.dev: Agent native MCP Gateway for governance and security
🛠 Manage Model Context Protocol servers easily with MCP-Control-Lite. Discover, install, and configure servers for your AI applications with a simple interface.
from vibe coding to agentic engineering - practice makes claude perfect
Public-safe skills and schemas for turning private work evidence into career signal
VA 皮肤科丨整形外科专属 Claude Code Skill：内置金长龙院长人设、完整价格表（0.021汇率）、症状矩阵，一键生成 Threads/小红书/Instagram 医美评论草稿