Skills（SKILL.md）は、AIエージェント（Claude Code、Cursor、Codexなど）に特定の能力を追加するための設定ファイルです。
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.