Proof Engine

Quality score: 70/100 · Category: General · Sub-category: research-misc

Create formal, verifiable proofs of claims with machine-checkable reasoning. Use when asked to prove, verify, fact-check, or rigorously establish whether a claim is true or false — mathematical, empirical, or mixed. Trigger phrases: "is it really true", "can you prove", "verify this", "fact-check this", "prove it", "show me the logic". Do NOT use for opinions, essays, or questions with no verifiable answer.

What this skill does

Proof Engine is a production-ready Claude Code skill (quality score 70/100) in the research-misc sub-category. It ships as a SKILL.md file that Claude Code auto-discovers under ~/.claude/skills/proof-engine/ and loads when your prompt matches the skill's trigger.

When to invoke it: Use when asked to prove, verify, fact-check, or rigorously establish whether a claim is true or false — mathematical, empirical, or mixed. Trigger phrases: "is it really true", "can you prove", "verify this", "fact-check this", "prove it", "show me the logic".

Who uses this skill

The Proof Engine skill is built for Claude Code users and developers across all disciplines looking for general-purpose AI assistance. It is part of the open ClaudSkills registry, a community-curated catalog of 15,000+ capabilities you can install for Claude Code — the Claude CLI agent.

How to install

Free

Manual install (2 steps)

mkdir -p ~/.claude/skills/proof-engine
curl -L https://claudskills.com/skills/proof-engine/SKILL.md \
  -o ~/.claude/skills/proof-engine/SKILL.md

Or just download SKILL.md directly and drop it into ~/.claude/skills/proof-engine/. Claude Code auto-discovers it on next session.

Skills live at ~/.claude/skills/proof-engine/SKILL.md on macOS/Linux, or %USERPROFILE%\.claude\skills\proof-engine\SKILL.md on Windows. See the full install guide for step-by-step instructions.

Pro

One-click install via the desktop app

The ClaudSkills desktop app installs any skill directly into ~/.claude/skills/ with one click — no terminal required. Pro starts at $9/mo or $149 lifetime.

More General skills

Browse all General skills in the ClaudSkills registry, or explore these top-rated picks from the same category:

Browse all General skills → Top 100 skills

Part of ClaudSkills — the open registry for Claude Code skills. · What's New · Install guide · About · llms.txt

Part of Acreator Store — Adam Lankamer's AI tools: GifPerfect · AspectPerfect · SlomoPerfect · Ucaption · UTagger · AutoXPoster · TestYourSkills