测试与安全

prove

Name: prove
Author: parcadei

parcadei/contin…laude-v3

Formal theorem proving with research, testing, and verification phases

安装命令

$ npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove

SKILL.md

For mathematicians who want verified proofs without learning Lean syntax.

Before using this skill, check Lean4 is installed:

# Check if lake is available
command -v lake &>/dev/null && echo "Lean4 installed" || echo "Lean4 NOT installed"

If not installed:

# Install elan (Lean version manager)
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh