prove
✓通过研究、测试和验证阶段证明形式化定理
SKILL.md
For mathematicians who want verified proofs without learning Lean syntax.
First run of /prove will download Mathlib (2GB) via lake build.
| Loogle | Type signature search (PRIMARY) | loogle-search "pattern" | | Nia MCP | Library documentation | mcpniasearch | | Perplexity MCP | Proof strategies, papers | mcpperplexitysearch | | WebSearch | General references | WebSearch tool | | WebFetch | Specific paper/page content | WebFetch tool |
通过研究、测试和验证阶段证明形式化定理 来源：parcadei/continuous-claude-v3。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove- 分类
- </>开发工具
- 认证
- ✓
- 收录时间
- 2026-02-01
- 更新时间
- 2026-02-18
快速解答
什么是 prove？
通过研究、测试和验证阶段证明形式化定理 来源：parcadei/continuous-claude-v3。
如何安装 prove？
打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code 或 Cursor 中使用
这个 Skill 的源码在哪？
https://github.com/parcadei/continuous-claude-v3
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-01