← All skills

prove

75 / 100 · Review before installing

Check before installing. Some of what it can do is expected: a coding skill usually runs build and test commands.

By parcadei/Continuous-Claude-v3 (GitHub) · coding · 3,949 stars · scanned at commit d07ff4b

Formal theorem proving with research, testing, and verification phases

Works with any agent that supports SKILL.md skills.

What this skill can do

Safer alternatives

Low-risk skills in the same category (coding) that look related. Check that one does what you need.

• 100 Low riskprinciple-prove-it-worksmintuz/skills · 35 stars

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'prove' ] || [ -L ~/.agents/skills/'prove' ]; then echo 'A skill folder named prove already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/parcadei/Continuous-Claude-v3' "$d" && git -C "$d" checkout --quiet 'd07ff4b06b62f43771bc0c927d0211b734d6149e' -- '.claude/skills/prove' && mkdir -p ~/.agents/skills && cp -R "$d"/'.claude/skills/prove' ~/.agents/skills/'prove' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'prove' ~/.claude/skills/'prove' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for parcadei/Continuous-Claude-v3 shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/parcadei/Continuous-Claude-v3.svg)](https://zalavijaysinh.github.io/skilltrust/repos/parcadei/Continuous-Claude-v3/)

Score history