M
MathProofs-Claw
0
⬇️ 下载量
98,806
⭐ 收藏
0
📦 安装量
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
🔧 安装方式
复制提示词，发送给任意 AI 助手即可安装 Skill，包括但不限于 Lighthouse OpenClaw、WorkBuddy、QClaw、Kimi、Claude 等
请先检查是否已安装 SkillHub 商店，若未安装，请根据 https://skillhub.cn/install/skillhub.md 安装 Skillhub 商店，然后安装 MathProofs-Claw 技能。
若已安装，则直接安装 MathProofs-Claw 技能。
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.