Semantic Versioning
BagelHole/DevOps-Security-Agent-Skills
Automate versioning and changelog generation using semantic versioning principles.
Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.
MITAuto-check passed
Install Logic Diff
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install sickn33/agentic-awesome-skills logic-diff --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/logic-diff .claude/skills/logic-diff && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .claude/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diffType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install sickn33/agentic-awesome-skills logic-diff --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/logic-diff .agents/skills/logic-diff && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .agents/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install sickn33/agentic-awesome-skills logic-diff --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/logic-diff .cursor/skills/logic-diff && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .cursor/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/sickn33/agentic-awesome-skills.git --path skills/logic-diff--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install sickn33/agentic-awesome-skills logic-diff --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/logic-diff .gemini/skills/logic-diff && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .gemini/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install sickn33/agentic-awesome-skills logic-diffInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/logic-diff .github/skills/logic-diff && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .github/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install sickn33/agentic-awesome-skills logic-diff --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/logic-diff .opencode/skills/logic-diff && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "logic-diff" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/logic-diff into .opencode/skills/logic-diff/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-diff", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
logic-diff- GitHub stars
- 47k
- Used in
- 1 other repo
- Token cost
- ~889 tokens
- SKILL.md length
- 433 words
- Files
- 2
- Skills in repo
- 1,394
- Repo updated
- First seen
- Licence
- MIT
At a glance
Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.
- Works in 3 steps: Read ../_shared/common.md only for… → Read only the relevant step in… → Load ../_shared/logic-risks.md,…
- SKILL.md covers When to Use, Setup, Process and Limitations
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Logic Diff is an agent skill from sickn33/agentic-awesome-skills. Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.
Its SKILL.md is about 890 tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file (for example `logic-diff-guide.md`).
The repository describes itself as: AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 2,400+ agentic skills. Includes… The licence is MIT.
Example prompts
- “/logic-diff”
Workflow steps
3 steps, taken from the first numbered list in SKILL.md.
- Read ../_shared/common.md only for language, Iron Law, Verdict header, scope routing, Remedy discipline, config fields, and loading budget.
- Read only the relevant step in logic-diff-guide.md as you reach it.
- Load ../_shared/logic-risks.md, ../_shared/semiformal-guide.md, ../_shared/semiformal-checklist.md, and ../_shared/report-template.md on…
What it can do on your machine
Read from SKILL.md and the folder at commit 1e53ce2. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Logic Diff loads about 889 tokens when it runs. Until then it costs about 29 tokens; SKILL.md has 433 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from sickn33/agentic-awesome-skills at commit 1e53ce2, republished under its MIT licence (© sickn33). 433 words, ~889 tokens.
Download SKILL.mdSave it as
.claude/skills/logic-diff/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.- name
- logic-diff
- description
- Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.
- risk
- safe
- source
- https://github.com/hyhmrright/logic-lens/tree/main/skills/logic-diff
- source_repo
- hyhmrright/logic-lens
- source_type
- community
- date_added
- 2026-07-01
- license
- MIT
- license_source
- https://github.com/hyhmrright/logic-lens/blob/main/LICENSE
Logic-Lens — Semantic Diff
When to Use
Use this skill when you need compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger when the user shares a refactor, rewrite, migration, or A/B implementation and wants to confirm behavior is unchanged — "did I break anything", "is this equivalent", "are...
Setup
Use lazy loading per ../_shared/common.md §13:
- Read
../_shared/common.mdonly for language, Iron Law, Verdict header, scope routing, Remedy discipline, config fields, and loading budget. - Read only the relevant step in
logic-diff-guide.mdas you reach it. - Load
../_shared/logic-risks.md,../_shared/semiformal-guide.md,../_shared/semiformal-checklist.md, and../_shared/report-template.mdon demand when the current step needs them.
Process
Step 0. Language + scope routing. Detect language per common.md §1. Confirm two versions are provided. If only one version, switch to logic-review.
Step 1. Identify the shared specification (guide Step 1) — what inputs should both versions handle; what outputs/side effects are expected. If the user states the refactor intentionally changed behavior in a specific area (e.g., "I changed the error path to raise instead of returning None"), record that as a declared spec change and treat divergences within that area as expected. Flag only divergences outside the declared change as findings.
Step 2. Build independent premises for each version (guide Step 2) — apply the Premises Construction Checklist to Version A and Version B separately.
Step 3. Trace both versions for the common case (guide Step 3) — parallel trace, same input, note the first divergence if any.
Step 4. Trace boundary cases (guide Step 4) — empty/null/zero, max/min, error inputs, first/last of collections. Start with at most three highest-risk boundary scenarios unless the user asks for exhaustive equivalence or the shared specification requires more.
Show full SKILL.md (154 more words)Show less
Step 5. Identify and classify semantic divergences (guide Step 5) — each divergence is a finding with Premises → Trace → Divergence → Trigger → Remedy and an L-code.
Step 6. Equivalence verdict (guide Step 6) — one of: ✅ Semantically Equivalent, ⚠️ Conditionally Equivalent (state the condition precisely), ❌ Semantically Divergent.
Step 7. Output (guide Step 7) — Report Template with the Verdict header per common.md §5; localize headers if the user wrote in Chinese. Format is mandatory even for trivially short snippets: every divergence finding MUST use the five labeled fields (Premises / Trace / Divergence / Trigger / Remedy); never substitute with a plain paragraph or table.
Mode line in report: Semantic Diff (Chinese: 语义对比).
Limitations
- Use this skill only when the task clearly matches its upstream source and local project context.
- Verify commands, generated code, dependencies, credentials, and external service behavior before applying changes.
- Do not treat examples as a substitute for environment-specific tests, security review, or user approval for destructive or costly actions.
© sickn33, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
SKILL.md and 1 other file in skills/logic-diff of sickn33/agentic-awesome-skills.
- SKILL.md
- logic-diff-guide.md
Open the folder on GitHubat commit 1e53ce2
Used in 1 other repository
We found 5 copies of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in sickn33/agentic-awesome-skills, which our catalogue first saw on October 7, 2026.
Compare with similar skills
Logic Diff next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Logic Diff this skillsickn33/agentic-awesome-skills | 47k | 1 repos | ~889 | Automated safety check: Pass | MIT | |
| Semantic VersioningBagelHole/DevOps-Security-Agent-Skills | 1.1k | — | ~2.7k | Automated safety check: Pass | MIT | |
| Plugin Version Bump and Releasethedotmack/claude-mem | 97k | — | ~1.7k | Automated safety check: Warn | Apache-2.0 | |
| Diff Reviewnexu-io/open-design | 100k | — | ~508 | Automated safety check: Pass | Apache-2.0 | |
| Diff Analyzeruvnet/ruflo | 74k | — | ~450 | Automated safety check: Notes | MIT | |
| Semantic Liststhedaviddias/Front-End-Checklist | 74k | — | ~504 | Automated safety check: Pass | MIT |
Similar skills
Plugin Version Bump and Release
thedotmack/claude-mem
Runs a semantic-versioning release workflow for a Claude Code plugin: bumps every manifest, builds, tags, creates a GitHub release, generates a changelog and publishes to npm.
Diff Review
nexu-io/open-design
Render the patch-edit run's accumulated changes as a reviewable diff, surface it through a GenUI choice surface, and persist the user's accept / reject decision into the artifact manifest.
Diff Analyze
ruvnet/ruflo
Analyze git diffs for risk scoring, reviewer recommendations, and change classification.
Semantic Lists
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing rendered HTML, interactive components, or design-system patterns related to Use semantic list elements.
Logical Properties
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing stylesheets, component styles, and responsive behavior related to Use CSS logical properties for i18n and RTL support.
More from sickn33/agentic-awesome-skills
All 1,394 skills in this repoLiuguang Banlan UI
sickn33/agentic-awesome-skills
Implements an interface in one of two named color modes, iridescent white or colorful black, from a parameterized starter that reports measured color intensity.
User Thoughts Memory
sickn33/agentic-awesome-skills
Saves a user's project decisions, rules and preferences into a project-local mdbase so later sessions and other agents can recover the intent.
Using LWC Memory and Graphs
sickn33/agentic-awesome-skills
Keeps project decisions, research and verified results available across coding-agent sessions through LWC memory, a document Wiki graph and a CodeGraph code index.
Find Complementary Founders
sickn33/agentic-awesome-skills
Guides an agent through assessing its own owner for cofounder fit, publishing an approved profile, and ranking complementary profiles other agents published for their owners.
Whatsapp Cloud API
sickn33/agentic-awesome-skills
Integracao com WhatsApp Business Cloud API (Meta). An agent skill from sickn33/agentic-awesome-skills.
Cline Pilot
sickn33/agentic-awesome-skills
Acts as a proxy for the Cline CLI, dispatching coding tasks one at a time, monitoring runs by hard evidence, relaying decisions to you and learning per-project preferences.
Questions about Logic Diff
What does Logic Diff do?
Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Logic Diff is an agent skill from sickn33/agentic-awesome-skills. Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.
How do I install Logic Diff in Claude Code?
Run `npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a claude-code`. Or copy the skill folder (skills/logic-diff in sickn33/agentic-awesome-skills) into .claude/skills/logic-diff in your project. Claude Code loads it when a task matches its description.
How do I install Logic Diff in Codex?
Run `npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a codex`. Or copy the skill folder (skills/logic-diff in sickn33/agentic-awesome-skills) into .agents/skills/logic-diff in your project. Codex loads it when a task matches its description.
Can I use Logic Diff in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add sickn33/agentic-awesome-skills --skill logic-diff -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/logic-diff, .gemini/skills/logic-diff, .github/skills/logic-diff and .opencode/skills/logic-diff in your project.
What does Logic Diff need to run?
SKILL.md names no scripts, command-line tools or credentials: Logic Diff is instructions for the agent only.
Does Logic Diff access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Logic Diff safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Logic Diff use?
Logic Diff is published under the MIT licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Logic Diff use?
About 889 tokens (SKILL.md is roughly 3.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Logic Diff?
Skills that share tags, products or a category with Logic Diff: Semantic Versioning (BagelHole/DevOps-Security-Agent-Skills, 1.1k stars), Plugin Version Bump and Release (thedotmack/claude-mem, 97k stars), Diff Review (nexu-io/open-design, 100k stars) and Diff Analyze (ruvnet/ruflo, 74k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Logic Diff?
sickn33 (a GitHub user) maintains it in sickn33/agentic-awesome-skills, which has 47,304 GitHub stars. The repository holds 1,394 skills in this directory. The repository was last updated on October 6, 2026.
Source: sickn33/agentic-awesome-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.