Quick Start
openclaw skills install openmath-submit-theoremopenmath-submit-theorem
bybennyzhe · development
Submits proofs to the OpenMath platform using a two-stage commit-reveal flow. Use when the user wants to commit a proof hash or reveal a Lean/Rocq proof on the Shentu network.
openclaw skills install openmath-submit-theorem Or ask OpenClaw: "Install the openmath-submit-theorem skill"
Try openmath-submit-theorem with OpenClaw Cloud
Install and run openmath-submit-theorem instantly — no setup required.