skills.rest
leanprover
leanproverOFFICIAL
Explore all skills by this author →
Website𝕏@leanproverGitHub

code-review

Review Lean HumanEval solutions for readability, correctness, and API usage.

30|9|Updated Apr 30, 2025
Search Tags:#documentation#verification#quality-assurance#lean#code-review#software-engineering#human-eval
One-click install
npx skills add https://github.com/leanprover/human-eval-lean --skill code-review-leanprover
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: code-review
Source: https://github.com/leanprover/human-eval-lean/tree/main/.claude/skills/code-review
Command: npx skills add https://github.com/leanprover/human-eval-lean --skill code-review-leanprover

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Performs thorough, structured code reviews of Lean-based HumanEval solutions to assess readability, correctness, and alignment with prompts.

Core Features & Use Cases

  • Provides a repeatable review process covering context understanding, file structure, missing API considerations, verification, and pedagogical clarity.
  • Ensures documentation quality and identifies API gaps that could hinder verification or future improvements.
  • Use Case: when asked to evaluate a Lean solution, generate a clear, actionable critique that helps authors improve correctness and style.

Quick Start

Review the specified Lean HumanEval solution file and produce a structured critique following the outlined sections.

Frequently Asked Questions about code-review

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

FAQPage Schema
How do I review Lean code for HumanEval solutions?▼

Review Lean code for HumanEval solutions by following a structured process covering context understanding, file structure checks, API gaps, verification, and pedagogical clarity. This ensures consistent, high-quality feedback on readability and correctness.

What should a Lean code review cover for educational tasks?▼

A Lean code review for educational tasks should cover context understanding, file structure, missing API gaps, verification, and pedagogical clarity. This structured approach assesses readability, correctness, and alignment with prompts.

How do I identify missing API gaps in Lean verification workflows?▼

Identify missing API gaps in Lean verification workflows by checking the file structure and library API usage during the review. This ensures documentation quality and highlights gaps that could hinder verification or future improvements.

Does this code review process check Lean solution alignment with prompts?▼

Yes, the code review process checks Lean solution alignment with prompts. It performs thorough, structured reviews to assess readability, correctness, and how well the implementation matches the original prompt requirements.

What is the best way to generate actionable critiques for Lean code?▼

The best way to generate actionable critiques for Lean code is to evaluate the solution file and produce a structured critique following outlined sections. This helps authors improve correctness, style, and pedagogical clarity.

Related Skills

Explore More Software Engineering Skills→
Lev-itLev-it

lean-canvas

Generate a structured Lean Canvas document for business model hypothesis testing.

Official
Intermediate
mkoziymkoziy

reviewer-full

Review pull requests for documentation, implementation, testing, and maintainability issues.

Community
Advanced
tae0ytae0y
14

technical-writer

Grade technical content quality with A-F assessments for clarity and pedagogy.

Community
Intermediate
lehuuhau1231lehuuhau1231

lint-and-validate

Run linting and type checking across multiple programming ecosystems.

Community
Intermediate