Menu
Run all code quality checks
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Document code in this repository.
Show what changed in leanSpec between devnet versions or HEAD
Run unit tests with coverage
Common developer workflows, commands, and troubleshooting for leanSpec
Read-only, multi-agent audit of the leanSpec codebase. Fans out the py-architect, consensus-researcher, code-tester, and doc-writer agents across the source tree to find dead code, over-abstraction, stdlib simplifications, test gaps, safety/security defects, and documentation rot, then synthesizes a precise, prioritized AUDIT_REPORT.md. Never modifies code.
Run leanSpec fixtures against a client implementation
| name | checks |
| description | Run all code quality checks |
Run the complete quality check suite.
just check
ruff check - Lintingruff format --check - Formattingty check - Type checkingcodespell - Spell checkingmdformat - Markdown formattinguv lock --check - Lockfile driftRun this before committing changes to ensure code quality standards are met. This is the same check that runs in CI.