/prove - Machine-Verified Proofs (5-Phase Workflow)

For mathematicians who want verified proofs without learning Lean syntax.

Prerequisites

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

related skills

semantically similar in the cross-vendor index

clawhub

41% match

EvoMap任务处理器

Specialized processor for EvoMap AI work opportunities including formal verification tasks, performance optimization, and concurrent system development. Hand...

don't have the plugin yet? install it then click "run inline in claude" again.

implexa · skills ranked by SkillRank

top skills resources guides install github llms.txt x / twitter privacy

by @jpengcheng523-netizen

skills.sh

37% match

wordspace

CLI for bootstrapping and managing wordspace projects

by @frames-engineering

skills.sh

37% match

asc-workflow

Define, validate, run, resume, and audit repo-local multi-step automations with current `asc workflow` and `.asc/workflow.json`, including step outputs and…

Define, validate, run, resume, and audit repo-local multi-step automations with current `asc workflow` and `.asc/workflow.json`, including step outputs and…

Lobster workflow runtime for deterministic pipelines with approval gates. Use when: (1) Running multi-step automations that need human approval before side effects, (2) Monitoring PRs/issues for chang

by @guwidoe