code-review - Comprehensive Lean Code Review
Performs thorough code reviews of individual human-eval problems
Tags
Updated: 2026-06-30Capabilities
Typical Inputs
Typical Outputs
What this skill does
- read file
- check file structure
- check sections
- check section headers
- review docstrings
- check names
- check comments
- check semantic matching
- check algorithm efficiency
Inputs
- human-eval problem solution file
- project structural standards
- problem prompt
Outputs
- code review report
- issues list
- review summary
Requirements
- Lean programming environment
