checks

•published 2026/02/01

Run all code quality checks

Install directly with the `skills` CLI.

npx skills add leanEthereum/leanSpec/.claude/skills/checks

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content