/checks - Run All Quality Checks
SkillDev toolsRun all code quality checks
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the /checks - Run All Quality Checks skill
What this skill tells your AI
The instructions your AI receives, as published by leanethereum/leanspec in .claude/skills/checks/SKILL.md and read by ahel’s review.
Run the complete quality check suite.
Command
just check
What It Runs
ruff check- Lintingruff format --check- Formattingty check- Type checkingcodespell- Spell checkingmdformat- Markdown formattinguv lock --check- Lockfile drift
When to Use
Run this before committing changes to ensure code quality standards are met. This is the same check that runs in CI.
Signals
- GitHub stars
- 143
- Forks
- 83
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
checks- Source
- github.com/leanethereum/leanspec