Skip to content
Development
Command

/logic-diff

Check two code versions for semantic equivalence — use after a refactor or rewrite

Boost this command
@hyhmrrighthyhmrright@hyhmrright
From plugin
logic-lens
236 skills3 agents6 commands1 hook
Install
> /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.

  • Fires itselfClaude auto-loads it when your prompt matches the work.
  • You can call itInvoke it directly when you want it.
  • Slash command/logic-diff

Context preview

What this command does when you run it.

Check two code versions for semantic equivalence — use after a refactor or rewrite

Command definition

logic-diff.md
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

Read it on GitHub ↗
Ships withlogic-lens

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.

Get the whole plugin
Stats
PythonTypeScriptJavaScriptBashRust
+7 tags
JavaKotlinSQLGitGitHubAnthropicGemini
23
Stars
2
Forks
Active
Maintenance
Python
Language
MIT
License
17d ago
Last commit
4mo ago
Created

Repo: hyhmrright/logic-lens

In this plugin
11 skills6 commands3 agents1 hook
See everything inside

Other commands on logic-lens.