openmath-submit-theorem
@clawhub_bennyzhe/openmath-submit-theorem
By bennyzhe
About this Skill
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 t...
任务自动化工作流编排
Skill files and instructions
Read SKILL.md and the other instructions or configuration files published with this Skill.
Loading file list
Details
- Category
- AI Agent
- Source
- clawhub
- Version
- 1.0.7
- Updated
- Sep 21, 2026