checks
OfficialAutomate code-quality checks to ship confidently.
AuthorleanEthereum
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Run all code quality checks to ensure code meets standards and avoid regressions.
Core Features & Use Cases
- Linting with ruff check to catch style and correctness issues early.
- Formatting with ruff format --check to enforce consistent styling.
- Type checking with ty check to catch static errors.
- Spell checking with codespell to reduce typos.
- Markdown formatting with mdformat to keep docs clean and readable.
Quick Start
Run the full quality-check suite locally before committing changes.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: checks Download link: https://github.com/leanEthereum/leanSpec/archive/main.zip#checks Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.