80,000+ Skills to Supercharge Claude
The open directory for GitHub-integrated capabilities, tools, and prompts for your AI workflows.
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors...
Work effectively with Lean 4 quotients in ComputationalPaths (Quot.lift/Quot.ind/Quot.sound), including nested lifts and...
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries t...
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (...
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors...
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (...
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries t...
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundame...
Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-T...
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure ca...
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundame...
web-design-reviewer
by deadronos
This skill enables visual inspection of websites running locally or remotely to identify and fix design issues. Triggers...
performance-optimization
by deadronos
Performance optimization playbook (measure → diagnose → fix → verify) for this repo (React + R3F + Three.js + Vite). Use...
webapp-testing
by deadronos
Toolkit for interacting with and testing local web applications using Playwright. Supports verifying frontend functional...
ui-skills
by raduceuca
Opinionated constraints for building better interfaces with agents.
testing-patterns
by raduceuca
Vitest and React Testing Library patterns for React applications. Use when writing unit tests, creating test factories,...
figma-to-code
by raduceuca
Convert Figma designs to React components with pixel-perfect accuracy
theme
by raduceuca
Create custom DaisyUI themes from natural language descriptions. No token knowledge required.
design
by raduceuca
Component recommendations and design-to-code translation for designers working with Claude Code.
code-documentation
by rolspace
Updates project documentation in markdown files when requested. Use when the user asks to update, modify, or create proj...
pulumi-python-cicd
by clusterahq
Expert guidance for Pulumi infrastructure-as-code with Python and CI/CD pipeline integration. Use this skill when users...
mantic-search
by erloon
Execute structural and contextual code searches using Mantic.sh to retrieve relevant code snippets and repository inform...
web-research
by erloon
Perform comprehensive web research including Google searches, data scraping, and content extraction from multiple URLs....
