checks

Run linting, formatting, type, spell, and Markdown checks with ruff, ty, codespell, and mdformat.

143|80|Updated Jul 28, 2025
One-click install
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

SYSTEM DOCUMENTATION & REQUIREMENTS

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.

Frequently Asked Questions about checks

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automate Python code quality checks in a CI pipeline?

Automate Python code quality checks in a CI pipeline by running linting, formatting, type checking, and spell checking tools. This ensures consistent standards and prevents regressions across nightly builds and pre-commit hooks.

What is the best way to run ruff and type checking before committing changes?

The best way to run ruff and type checking before committing is to execute a full quality-check suite locally. This applies ruff for linting and formatting checks, alongside ty for static type checking, to catch issues early.

Does code linting with ruff check also enforce code formatting standards?

Code linting with ruff check catches style and correctness issues, while formatting standards are enforced separately using ruff format. Running both ensures consistent styling and correct code standards across the project.

Can I use uvx and tox to run deterministic code quality checks?

Yes, you can use uvx and tox to run deterministic code quality checks. They provide isolated environments for executing linting, type checking, and spell checking tools to ensure consistent and reliable validation results.

Why include spell checking and Markdown formatting in a code quality suite?

Include spell checking with codespell and Markdown formatting with mdformat in a code quality suite to reduce typos and keep documentation clean. This ensures overall project readability and maintains professional documentation standards.

What type of errors does ty check catch during Python static analysis?

The ty check tool catches static errors during Python static analysis. By integrating this type checking into pre-commit and CI pipelines, you validate code quality and prevent type-related regressions from reaching production.