logic-diff
Check two code versions for semantic equivalence — use after a refactor or rewrite
Review code for logic bugs — use when you suspect something is wrong but have no failing test yet
> /plugin marketplace add hyhmrright/logic-lens > /plugin install logic-lens@logic-lens-marketplace
How it fires
How this command gets triggered: by you, by Claude, or both.
/logic-reviewContext preview
What this command does when you run it.
Review code for logic bugs — use when you suspect something is wrong but have no failing test yet
description: Review code for logic bugs — use when you suspect something is wrong but have no failing test yet allowed-tools: Skill
Use the Skill tool to invoke `logic-lens:logic-review`, then follow its instructions exactly. $ARGUMENTS
Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.
Repo: hyhmrright/logic-lens
Check two code versions for semantic equivalence — use after a refactor or rewrite
Trace execution step by step — use when code behavior is surprising or confusing
Autonomous audit-and-fix — after consent, scan the target, fix every logic issue found (all severities), verify each fix, and report anything unresolved.
Sweep a whole codebase or directory for logic correctness — use before a release or to identify risk hotspots
Locate the root cause of a confirmed failure — use when you have a stack trace, failing test, or wrong output