Proof Writer

Quality score: 80/100 · Category: Content · Sub-category: content-misc

Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.

What this skill does

Proof Writer is a well-rated Claude Code skill (quality score 80/100) in the content-misc sub-category. It ships as a SKILL.md file that Claude Code auto-discovers under ~/.claude/skills/proof-writer/ and loads when your prompt matches the skill's trigger.

When to invoke it: Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.

Who uses this skill

The Proof Writer skill is built for content creators, marketers, copywriters, SEO professionals, and editorial teams. 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-writer
curl -L https://claudskills.com/skills/proof-writer/SKILL.md \
  -o ~/.claude/skills/proof-writer/SKILL.md

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

Skills live at ~/.claude/skills/proof-writer/SKILL.md on macOS/Linux, or %USERPROFILE%\.claude\skills\proof-writer\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.