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 skills add CBirkbeck/mathlib-qualityClaude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Claude code plugin focused in Developer Experience
A claude code proxy using the Cloudflare Worker proxy that enables OpenAI-compatible APIs (like NVIDIA NIM) to work with Anthropic API clients such as Claude Code.
Per-environment isolation for Claude Code — plugins, skills, MCPs, and secrets.
Claude Code Skill 质量评估插件——基于加权评分框架（8 模块检查、7 反模式评估、3 完备性原则、决策门），用于评估、修复、创建和审计 Claude Code Skill。
Vite build tool configuration, plugin API, SSR, and Vite 8 Rolldown migration. Use when working with Vite projects, vite.config.ts, Vite plugins, or building libraries/SSR apps with Vite.
Claude Code documentation plugin - auto-synced reference for features, configuration, skills, agents, hooks, and MCP servers.