CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

semantic-bug-detector

Detect semantic-level bugs by analyzing whether code behavior matches its intended purpose inferred from function/variable names, comments, docstrings, and documentation. Use when users need to: (1) Find logic errors where implementation contradicts stated intent, (2) Identify off-by-one errors and boundary mismatches, (3) Detect inverted logic or wrong operators, (4) Catch missing edge case handling, (5) Verify code matches its documentation. Highlights mismatches between intent and implementation across multiple programming languages.

Quality

75%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Passed

No findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./skills/semantic-bug-detector/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

56%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body teaches a clear, actionable detection workflow with concrete examples and a usable report format, but it is heavily padded: the same five bug categories are repeated across five sections, basic programming facts are over-explained, and detailed examples duplicate the bug_patterns.md reference. Trimming to the workflow, one worked example, the report template, and the reference pointer would cut the file by more than half with no loss of capability.

Suggestions

Collapse the five full worked examples to one or two — the complete catalog already lives in references/bug_patterns.md, and each example repeats the identical Intent/Actual/Mismatch/Report pattern.

Merge or delete the redundant passes over the same material: 'Common Bug Categories', 'Detection Strategies', and 'Tips' all restate Step 3 and the examples in slightly different words.

Remove explanations of basics Claude already knows (e.g., that x % 2 == 1 is odd, that average = sum/count, the meaning of half-open interval notation) and keep only the intent-vs-implementation mismatch framing.

Add a verification step to the workflow, such as tracing a concrete input through the suspected buggy path to confirm the mismatch before reporting it, and define criteria for High/Medium/Low severity.

DimensionReasoningScore

Conciseness

The ~390-line body covers the same five bug categories in five separate passes (Step 3 mismatches, five full worked examples, Common Bug Categories, Detection Strategies, and Tips), and the examples explain concepts Claude already knows ("x % 2 == 1 is True for odd numbers, not even numbers", "Average is calculated by dividing sum by count", the meaning of [start, end) notation). Not a 1 because the writing itself is cleanly structured with no library-tutorial padding, but the repetition and over-explanation of basics is extensive enough to sit noticeably below the midpoint.

2 / 5

Actionability

Concrete, followable guidance: a 4-step detection workflow, a copy-paste report template, per-category intent indicators ("first n", "last n", "[a, b)"), and worked buggy-vs-fixed code for each bug type. Not a 5 because the find_max example's fix is truncated with "..." rather than complete, and no criteria are given for assigning High/Medium/Low severity.

4 / 5

Workflow Clarity

The Extract Intent → Analyze Implementation → Compare → Report sequence is clearly defined with concrete sub-checks (predicates, operators, boundaries, edge cases), and this read-only analysis involves no destructive or batch operations, so the validation cap does not apply. Not a 5 because there is no verification checkpoint (e.g., mentally tracing an example input to confirm a suspected bug before reporting it), leaving checkpoints implicit.

4 / 5

Progressive Disclosure

The single reference (references/bug_patterns.md) is real, one level deep, linked with section anchors, and well signaled with an explicit "Load this reference when" list. However, the five detailed worked examples and the Common Bug Categories sections largely duplicate content already in bug_patterns.md (the same get_last_n_elements example appears in both), so ~200 lines of content that belongs in the reference is inlined in SKILL.md — matching the 3 anchor despite the clear reference signaling.

3 / 5

Total

13

/

20

Passed

Description

83%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

A strong description with a clear statement of what the skill does, an explicit enumerated 'Use when' trigger clause, and specific bug-category keywords, all in third person. Its only weaknesses are mild redundancy in the closing sentence and a few missing natural synonyms that leave trigger coverage just short of comprehensive.

DimensionReasoningScore

Specificity

Lists several concrete actions ("Find logic errors where implementation contradicts stated intent", "Identify off-by-one errors and boundary mismatches", "Detect inverted logic or wrong operators", "Catch missing edge case handling") with good coverage, but the closing sentence "Highlights mismatches between intent and implementation across multiple programming languages" is redundant padding and the five enumerated items are all variants of one core analysis. Not a 5 because of this redundancy; clearly above the 3 anchor, which requires only 1-2 concrete actions.

4 / 5

Completeness

Clearly answers both: the "what" ("Detect semantic-level bugs by analyzing whether code behavior matches its intended purpose inferred from function/variable names, comments, docstrings, and documentation") and an explicit "when" ("Use when users need to: (1)... (5)") with five concrete trigger conditions. Matches the 5 anchor exactly; the 4 anchor requires a 'when' that could be more explicit, which does not apply here.

5 / 5

Trigger Term Quality

Good natural keyword coverage — "logic errors", "off-by-one errors", "boundary mismatches", "inverted logic", "wrong operators", "edge case", "code matches its documentation" — phrases users would plausibly say. Not a 5 because common synonyms like "debug", "code review", "wrong output", or "incorrect behavior" are missing; well above the 3 anchor, which has only some relevant keywords.

4 / 5

Distinctiveness Conflict Risk

The niche is well-scoped to semantic bugs where implementation contradicts intent from names/docs, distinguishing it from syntax/type-error skills, and triggers like "off-by-one errors" and "inverted logic" are specific. Not a 5 because terms like "find logic errors" and "code review"-adjacent phrasing overlap with general code-review and debugging skills. Well above the 3 anchor.

4 / 5

Total

17

/

20

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 16 / 16 Passed

Validation for skill structure

No warnings or errors.

Repository

ArabelaTso/Skills-4-SE

Path

skills/semantic-bug-detector/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.