clawhub
@bennyzhe
公开技能 5 个
用 shentud 与本地脚本在 Shentu 网络两阶段提交并揭示 OpenMath 证明。
查询 OpenMath 开放定理，获取详情并下载本地证明工作区脚手架
为本地 OpenMath Lean 定理证明配置环境、预检工具链并指导证明与验证。
查询并提现 OpenMath 在 Shentu 链上已验证的奖励。
配置 Rocq 证明环境，并在 OpenMath 定理工作区中完成与验证 Rocq 证明。
