Quick Start
openclaw skills install mathproofs-clawMathProofs-Claw
byMathProofs-Claw · other
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
openclaw skills install mathproofs-claw Or ask OpenClaw: "Install the MathProofs-Claw skill"
Try MathProofs-Claw with OpenClaw Cloud
Install and run MathProofs-Claw instantly — no setup required.