/review - Code Review Checklist

SkillDev tools

Quick-reference checklist for code review conventions in leanSpec

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the /review - Code Review Checklist skill

What this skill tells your AI

The instructions your AI receives, as published by leanethereum/leanspec in .claude/skills/review/SKILL.md and read by ahel’s review.

A concise checklist distilled from CLAUDE.md for reviewing leanSpec code.

Imports

  • All imports at file top — no lazy imports inside functions
  • No confusing renames — use qualified access (x25519.X25519PublicKey)
  • from __future__ import annotations in every file

Type Annotations

  • Never quote annotations when from __future__ import annotations is present
  • Prefer narrow domain types (Bytes32, PeerId, RequestId) over raw bytes
  • Complete type hints on all function signatures

Code Style

  • Line length: 100 characters max
  • Google docstring style
  • No example code in docstrings — unit tests serve as examples
  • No section separator comments (# ====, # ----)
  • Module-level constants use docstrings, not comments

Documentation

  • Never use explicit function or method names in docs — names change
  • Write short, scannable sentences — one idea per line
  • Use bullet points or numbered lists for multiple items
  • Never remove existing documentation unless directly invalidated by a code change

Testing

  • Full equality assertions — assert the whole object, not individual fields
  • Descriptive test names explaining the scenario
  • Use pytest.raises(ExceptionType, match=r"...") for error tests
  • Boundary values derived from source constants, never hardcoded

Architecture

  • No backward compatibility code — no shims, aliases, or re-exports
  • No unnecessary abstractions — inline is often better for spec code
  • Simplicity over abstraction — readers should understand top-to-bottom
  • SSZ types: domain-specific names (Attestations) over generic (List4096)

Before Committing

just fix    # Auto-fix lint, formatting, and markdown
just check  # Verify all checks pass

Signals

GitHub stars
143
Forks
83
Last commit
Sep 2026
Hacker News mentions
20
Advanced
Catalog kind
skill
Gateway key
review-leanethereum
Source
github.com/leanethereum/leanspec