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
A Claude Code plugin that stops vague prompts before they run. Detects your stack, asks targeted questions, and forges a structured prompt. Zero credits wasted.
Companion repo for 'Claude Code as Your Execution Environment' — skills, sub-agents, and MCP server for a personal news aggregator
Make the prompt better Agent Skill
Agent skill repository: ryannln0628/claude_skills
Codex skill for top-journal scientific review across biology, chemistry, physics, mathematics, medicine, computer science, and fusion fields
A comprehensive library of modular Agent Skills for Flutter & Dart development