CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

red-green-proof

Turns a suspected bug into a proven one. Verify the cause against reality before claiming it, write a test that FAILS on the current code, apply the fix, watch it pass — then revert the fix and confirm the test goes red again, because a test that passes both ways proves nothing. Invoked bare after a debugging conversation, it takes the target from context rather than asking. Use when fixing a bug, investigating an incident, hardening a flaky area, or when asked to "add tests that reveal the bug". Triggers on "/red-green-proof", "prove the bug", "red-green", "make the test fail first", "is that test load-bearing", "reveal the bug with a test".

69

Quality

87%

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

The canonical home for this skill is red-green-proof in alirezarezvani/claude-skills

SKILL.md
Quality
Evals
Security

Quality

Content

81%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.

A well-crafted instruction-only skill: the red-green-red loop is precisely sequenced with explicit validation and feedback loops, the guidance is concrete with real commands and worked examples, and nothing pads the token budget. Remaining gaps are minor — some redundancy between the 'Workflow' and 'The loop' sections and placeholder commands in the revert snippet.

Suggestions

Merge the 'Workflow' section into 'The loop' — both describe the same evidence-preserving sequence, and stating it once would trim ~10 lines without losing information (conciseness).

Make the step-4 revert snippet more copy-paste ready by showing one concrete instantiation (e.g., a real test-runner command alongside the placeholder) so the pattern is executable as-is on a first read (actionability).

Consider moving the two extended real-world failure examples into a short references/ file, keeping only their one-line morals in SKILL.md, if the skill grows further (progressive_disclosure).

DimensionReasoningScore

Conciseness

The body is dense with non-obvious, earned guidance (the revert trap, two real failure examples, the fallback-test-type table) and explains nothing Claude already knows. Minor trimming is possible — the 'Workflow' section (lines 19–27) substantially restates 'The loop', and the attribution/license footer is boilerplate — placing it at anchor 4 ('efficient; minor instances… that could be trimmed') rather than the fully lean anchor 5 or the noticeably padded anchor 3.

4 / 5

Actionability

Concrete, near-executable guidance throughout: 'git log -S \'<the exact line>\'', a copy-paste bash backup/revert/restore block, a test-naming convention with a good/bad example, and a decision table for unreachable code paths. The central bash block still contains placeholder commands ('&lt;run the specific test&gt;'), so it is 'mostly executable… with minor gaps' (anchor 4) rather than fully copy-paste ready (anchor 5); for an instruction-only methodology skill with no fixed codebase the placeholders are justified.

4 / 5

Workflow Clarity

A numbered 5-step loop with explicit ordering rules ('Do not skip 1, and never skip 4'), validation checkpoints at every phase, feedback loops ('If it does not fail, you have not reproduced the bug. Go back to step 1'; the step-4 revert-red check that labels a stayed-green test 'fake'), a recovery path for each failure mode, and a final full-suite check with instructions for contradicting tests. This matches anchor 5: clear sequence, explicit validation, feedback loops, and checklists.

5 / 5

Progressive Disclosure

No bundle files exist and none are referenced; the single file (~159 lines) is organized into clearly headed sections (Overview, The loop, target picking, fallback table, Reporting, Anti-patterns). This is good structure with content appropriately placed (anchor 4), but the under-50-line simple-skill exception for a 5 does not apply, and the extended examples and fallback table could conceivably live in reference files if the skill grew.

4 / 5

Total

17

/

20

Passed

Description

88%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: it states the full methodology in third person with concrete verbs, gives an explicit 'Use when' clause with natural trigger phrases, and defines a distinct niche. The only weaknesses are a couple of missing natural synonyms and a broad 'fixing a bug' trigger that slightly overlaps general debugging skills.

DimensionReasoningScore

Specificity

The description enumerates the complete concrete workflow — 'Verify the cause against reality', 'write a test that FAILS on the current code', 'apply the fix, watch it pass', 'then revert the fix and confirm the test goes red again' — covering every phase of the skill's loop. It is comprehensive with no gaps, matching the anchor for multiple specific concrete actions rather than the anchor-4 'minor gaps in coverage'.

5 / 5

Completeness

It explicitly answers both questions: 'what' is the verify-cause → red test → fix → revert-red loop, and 'when' is stated concretely — 'Use when fixing a bug, investigating an incident, hardening a flaky area, or when asked to "add tests that reveal the bug"' plus explicit trigger phrases. This matches the anchor-5 pattern of the good example exactly, not anchor 4 where 'when' could be more specific.

5 / 5

Trigger Term Quality

Good coverage of natural phrases users would say: 'fixing a bug', 'investigating an incident', 'hardening a flaky area', 'prove the bug', 'red-green', 'make the test fail first', 'reveal the bug with a test', plus the slash command '/red-green-proof'. A few natural synonyms are missing ('regression test', 'TDD', 'write a failing test first'), so it fits the 'good keyword coverage; a few natural terms missing' anchor rather than the comprehensive anchor 5.

4 / 5

Distinctiveness Conflict Risk

The red-green-revert proof methodology and triggers like '/red-green-proof' and 'is that test load-bearing' form a clear, distinct niche. However the broad trigger 'Use when fixing a bug' overlaps with general debugging/fixing skills, giving minor overlap risk — anchor 4 ('mostly distinct; minor overlap risk with closely related skills') fits better than anchor 5's 'minimal conflict risk'.

4 / 5

Total

18

/

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

alirezarezvani/claude-skills

Path

.gemini/skills/red-green-proof/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.