OpenClaw

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

DIRA Agent

skills / openclaw-openclaw-skills-apozzimathp…

Hey! I'm Dira. Tell me the task, team, budget, or agent you're considering, and I'll help you narrow it to a practical next step.