openmath-submit-theorem
@clawhub_bennyzhe/openmath-submit-theorem
作者：bennyzhe
关于这个 Skill
使用两阶段提交-揭示流程向OpenMath平台提交证明。适用于用户希望提交证明哈希或在平台上揭示Lean/Rocq证明的场景。
任务自动化工作流编排
Skill 文件与使用说明
查看 SKILL.md 以及作者随 Skill 发布的其他说明和配置文件。
正在读取文件列表
详细信息
- 分类
- AI Agent
- 来源
- clawhub
- 版本
- 1.0.7
- 更新时间
- 2026年9月23日