ZooWork Market · Skill

prove

Formal theorem proving with research, testing, and verification phases

◇

parcadei

parcadei-continuous-claude-v3-prove · v1.0.1

分类coding-agents-ides

安装次数20

更新时间2026-10-20T12:01:46.140Z

校验状态待验证

在 ZooWork 中使用返回目录