What are Claude Code Skills?

Claude Code Skills are reusable prompt templates stored as markdown files in your project's .claude/skills/ directory. They let you codify best practices and common workflows into slash commands that Claude follows consistently.

How do I create a Claude Code Skill?

Create a markdown file in .claude/skills/ with instructions for Claude. The filename becomes the command name — for example, .claude/skills/code-review.md can be invoked with /code-review during a Claude Code session.

Can I share skills with my team?

Yes. Skills stored in .claude/skills/ can be committed to version control so every team member has access to the same standardized workflows. You can also organize skills into subdirectories by category.

What is the difference between project and global skills?

Project skills (.claude/skills/) are specific to the current project and are committed to git. Global skills (~/.claude/skills/) are personal skills available across all your projects.

lean4-theorem-proving

New

Community RegistryCode Reviewby Cameron Freer

Systematic approach to developing formal proofs in Lean 4, managing sorries, using mathlib, and building verified mathematics

Install & Usage

Create the skills directory

mkdir -p .claude/skills

Download the skill file

mkdir -p .claude/skills && curl -o .claude/skills/lean4-theorem-proving.md https://raw.githubusercontent.com/cameronfreer/lean4-theorem-proving-skill/main/SKILL.md

Invoke in Claude Code

/lean4-theorem-proving

View source on GitHub

Frequently Asked Questions

What is lean4-theorem-proving?

Systematic approach to developing formal proofs in Lean 4, managing sorries, using mathlib, and building verified mathematics

How to install lean4-theorem-proving?

To install lean4-theorem-proving, create the .claude/skills directory in your project, then run the curl command to download the skill file. Once installed, invoke it in Claude Code with /lean4-theorem-proving.

What is lean4-theorem-proving best for?

lean4-theorem-proving is a community categorized under Code Review. Created by Cameron Freer.