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
Optimize SEO and GEO with an LLM-agnostic agent that audits sites, fixes issues, and exports reports for search and AI engines
AI Kanban & Development Environment. Orchestrate multiple agents, review changes, open PRs. Multi-provider, self-hostable, no telemetry.
Exa-focused web search skill for OpenClaw with multi-key rotation and failover.
Agent skill repository for AI-assisted workflows.
四个实战 AI agent skill：思维卡点溯源 / 六层记忆架构 / 心迹自省管道 / 多 agent 隔离 — by cheng (澄)
Claude skills