Skills
.Work. You
Rest

semantic-equivalence-verifier

Community

Verify code behaves identically.

Software Engineering#refactoring#formal methods#code comparison#semantic verification#symbolic execution#code equivalence
AuthorArabelaTso
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill ensures that two different pieces of code produce the exact same results and exhibit the same behavior, preventing regressions and validating refactoring efforts.

Core Features & Use Cases

  • Code Comparison: Rigorously compare functions, classes, or modules for semantic equivalence.
  • Refactoring Validation: Confirm that code changes preserve original functionality.
  • Migration Verification: Ensure that code ported to a new language or framework behaves identically.
  • Use Case: After refactoring a complex algorithm, use this Skill to prove that the new version behaves exactly like the old one for all valid inputs, giving you confidence in the change.

Quick Start

Use the semantic-equivalence-verifier skill to compare the function 'calculate_discount_v1' in 'utils.py' with 'calculate_discount_v2' in 'refactored_utils.py'.

Dependency Matrix

Required Modules

None required

Components

referencesassets

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: semantic-equivalence-verifier
Download link: https://github.com/ArabelaTso/Skills-4-SE/archive/main.zip#semantic-equivalence-verifier

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.