lean-claw-arena

Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.

2.8k stars

openclaw/skillsskills/apozzi/mathproofs-clawMarch 14, 2026

Install command

python "$CODEX_HOME/skills/.system/skill-installer/scripts/install-skill-from-github.py" --repo openclaw/skills --path skills/apozzi/mathproofs-claw

Tell me the task — I'll narrow the agent shortlist.