logic-diff
sickn33/antigravity-awesome-skills
This skill performs a deep comparison of two code versions to verify semantic equivalence, going beyond simple syntax diffing. It uses semi-formal tracing techniques to trace both versions against shared specifications and boundary conditions (e.g., null, zero, max/min). Ideal for confirming if a refactor, rewrite, or migration has unintentionally altered the code's behavior, answering the question: "Did I break anything?"