Claude Code Skills·Claude Skills·The open SKILL.md registry for Claude
ClaudSkills / Engineering / code-quality

Refactor Verify

Category: Engineering  ·  Sub-category: code-quality  ·  Last updated:
Proves a behavior-preserving code change (refactor, rename, split, merge, extract, inline, or delete of confirmed-dead code) is actually complete. Plans the change as a dependency tree, executes it from the leaves up, and after each step proves 1:1 semantic equivalence through four independent checks — exported symbol-set diff, per-node AST diff, full behavioral test suite, and call-site closure via find-references. Runs before claiming any such change is done. Works for any language with a test runner and a way to grep for symbols.

From the source SKILL.md

The operator asked for a change that's supposed to preserve behavior — a refactor, a rename, a split, an extract, a dead-code deletion. Your job is to prove that behavior was preserved, not just produce a diff that looks right.

What this skill does

Refactor Verify is a community-contributed Claude Code skill in the code-quality sub-category. It ships as a SKILL.md file that Claude Code auto-discovers under ~/.claude/skills/refactor-verify/ and loads when your prompt matches the skill's trigger.

Who uses this skill

The Refactor Verify Claude Code skill is built for software engineers, backend developers, full-stack teams, and technical leads building and maintaining production systems. It's part of ClaudSkills (also referred to as Claude Skills or Claude Code Skills) — the open community-curated registry of 70,000+ SKILL.md files for Anthropic's Claude Code agent and the wider Claude ecosystem (Claude API, Claude Agent SDK).

How to install

Free

Manual install (2 steps)

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

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

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

Pro

For the full experience including quality scoring and one-click install features for each skill — upgrade to Pro.

See pricing → Download desktop app

Cite this skill

If you reference this skill in a blog post, paper, or documentation, you can cite it as:

APA
ClaudSkills. (2026). Refactor Verify [Claude Code skill]. ClaudSkills. https://claudskills.com/skills/refactor-verify/
BibTeX
@misc{refactor-verify-2026,
  author    = {ClaudSkills},
  title     = {Refactor Verify [Claude Code skill]},
  year      = {2026},
  publisher = {ClaudSkills},
  url       = {https://claudskills.com/skills/refactor-verify/}
}

Embed this skill

Promote, attribute, or link this skill from your own README, blog post, or documentation. All three snippets are free to use — no sign-up, no API key. More distribution surfaces →

Badge
[![ClaudSkills](https://claudskills.com/badge/refactor-verify.svg)](https://claudskills.com/skills/refactor-verify/?utm_source=badge&utm_medium=readme&utm_campaign=skill_badge)
<script>
<script src="https://claudskills.com/embed/refactor-verify.js" async></script>
<iframe>
<iframe src="https://claudskills.com/embed/refactor-verify.html" width="100%" height="160" frameborder="0" loading="lazy" title="ClaudSkills: Refactor Verify"></iframe>

Free. No spam. Unsubscribe in one click.

More Engineering skills

Browse all Engineering skills in the ClaudSkills registry, or explore these other picks from the same category:

Browse all Engineering skills → Top 100 skills
Part of ClaudSkills — the open registry for Claude Skills & Claude Code Skills.  ·  What's New  ·  Install guide  ·  About  ·  llms.txt

Part of Acreator Store — Adam Lankamer's AI tools: PerfectStudio · Ucaption · UTagger · AutoXPoster · TestYourSkills · AutomationFlows · Au Naturel

Categories

Use cases

Popular tags

Learn

Site