Skip to content

agents: add code review and debugging skills#453

Merged
tcoratger merged 2 commits intoleanEthereum:mainfrom
morelucks:agents/add-review-and-debug-skills
Mar 15, 2026
Merged

agents: add code review and debugging skills#453
tcoratger merged 2 commits intoleanEthereum:mainfrom
morelucks:agents/add-review-and-debug-skills

Conversation

@morelucks
Copy link
Contributor

This PR introduces two new agent-friendly skills to the repository.

Key Additions

  1. Code Review Skill (.claude/skills/review/SKILL.md)
    Distills the extensive conventions found in CLAUDE.md into an actionable, quick-reference checklist. This covers:

    • Import style conventions (no lazy imports, qualified access)
    • Type annotation rules (from __future__, narrow domain types)
    • Documentation and docstring standards
    • SSZ modeling patterns (SSZType vs SSZModel)
    • Strict architecture rules prohibiting backward compatibility shims
  2. Debugging Skill (.claude/skills/debug/SKILL.md)
    Documents the common daily workflows and troubleshooting steps for navigating the leanSpec repository, including:

    • Running isolated test files and classes
    • Differentiating between type-checking (ty check) and linting (ruff check)
    • Inspecting HTML coverage reports
    • Handling codespell ignores
    • Running interop tests

Verification

  • Both files pass the markdown formatter via uvx tox -e all-checks
  • Pure documentation change; presents absolutely 0 risk to the devnet3 -> devnet4 transition.

@tcoratger tcoratger merged commit be85318 into leanEthereum:main Mar 15, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants