Skills
.Work. You
Rest

semantic-bug-detector

Community

Find bugs where code contradicts intent.

Software Engineering#code quality#debugging#bug detection#semantic analysis#logic errors#intent verification
AuthorArabelaTso
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill identifies subtle logic errors (semantic bugs) where the code's actual behavior mismatches the intent expressed through its names, comments, and documentation.

Core Features & Use Cases

  • Intent Inference: Analyzes function/variable names, comments, and docstrings to understand intended behavior.
  • Implementation Analysis: Examines code logic, control flow, and operations.
  • Mismatch Detection: Pinpoints discrepancies between intent and implementation, reporting specific bug types like off-by-one errors, inverted logic, and boundary mismatches.
  • Use Case: You have a function is_positive(x) with a docstring stating it checks if x is greater than zero, but the implementation uses >= 0. This Skill will flag that the implementation includes zero, contradicting the stated intent.

Quick Start

Use the semantic-bug-detector skill to analyze the provided Python code snippet for semantic bugs.

Dependency Matrix

Required Modules

None required

Components

references

💻 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-bug-detector
Download link: https://github.com/ArabelaTso/Skills-4-SE/archive/main.zip#semantic-bug-detector

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.