LogoClawIndex
案例技能关于
LogoClawIndex

code-review - 全面的 Lean 代码审查

对单个 human-eval 问题进行全面代码审查

标签

更新于: 2026-06-30
代码审查Lean代码质量形式化验证静态分析

能力

典型输入

典型输出

该技能可以做什么

  • 读取文件
  • 检查文件结构
  • 检查章节
  • 检查章节标题
  • 审查文档字符串
  • 检查命名
  • 检查注释
  • 检查语义匹配
  • 检查算法效率

输入

  • human-eval 问题解决方案文件
  • 项目结构标准
  • 问题描述

输出

  • 代码审查报告
  • 问题列表
  • 审查摘要

要求

  • Lean 编程环境

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
读取文件
检查文件结构
检查章节
检查章节标题
human-eval 问题解决方案文件
项目结构标准
问题描述
代码审查报告
问题列表
审查摘要