Logic Diff — Code Quality skill for Claude Code
Check two code versions for semantic equivalence — use after a refactor or rewrite.
How to install Logic Diff
Installs to ~/.claude/skills/hyhmrright-logic-lens-logic-diff/SKILL.md
mkdir -p ~/.claude/skills/hyhmrright-logic-lens-logic-diff && curl -fsSL https://raw.githubusercontent.com/hyhmrright/logic-lens/HEAD/commands/logic-diff.md -o ~/.claude/skills/hyhmrright-logic-lens-logic-diff/SKILL.md Restart Claude Code, or start a new session, for it to be picked up.
What Logic Diff does
description: Check two code versions for semantic equivalence — use after a refactor or rewrite allowed-tools: Skill
Use the Skill tool to invoke `logic-lens:logic-diff`, then follow its instructions exactly. $ARGUMENTS
Alternatives in Code Quality
- Refactor — We are about to refactor code 1.6k ★
- Refactor Claude Md — Refactor CLAUDE.md by extracting sections to dedicated docs with path-scoped rules 1.6k ★
- Repren — Power rename/refactor tool (now with Claude Code skill support 371 ★
Full documentation available on GitHub
View Source RepositoryRelated Skills
Fec TDD
Use front-end TDD workflow to implement functions, fix bugs, or refactor logic: first write failing tests, the
Dry Refactor
Find code duplication and extract shared logic
Refactor Clean
Remove dead code and clean up after implementation.
Cmd Refactor
Refactor phase (ACT loop): analyze, plan, baseline, execute, verify, and sync a behavior-preserving restructur
Refactor TDD
REFACTOR phase - Improve code quality while keeping tests green with automatic metrics tracking in sprintdag d
Full Refactor
Full workflow: scope and plan it, build it, simplify it, harden it. Runs the phases sequentially with a single
Related Agents
Fatal Pattern Recheck
Independent re-checker confirming a fatal-pattern silent rewrite did not reintroduce the pattern. Dispatched b
Diff Reviewer
Use when changes touch internal/diff/, internal/parser/, internal/merge/, or match key / field comparison logi
Code Refactor Agent
Duplicate code detection and refactoring specialist. Uses similarity-rs for semantic similarity detection and