Matt Horn

Skills

Personal Claude Code skills, installable as a plugin marketplace

Lean Skills

Seven skills, split by what you are actually doing rather than by topic. A "tactics" skill and a "Mathlib" skill both fire on every task, an...