checks
Run linting, formatting, type, spell, and Markdown checks with ruff, ty, codespell, and mdformat.
npx skills add https://github.com/leanEthereum/leanSpec --skill checks
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill. Skill: checks Source: https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/checks Command: npx skills add https://github.com/leanEthereum/leanSpec --skill checks