Agent skill

Red Synthesize Green

by SebastienDegodez in SebastienDegodez/copilot-instructions

A skill your agent uses when implementing any feature or fix using TDD, before writing any implementation code

Apache-2.0Auto-check passedTesting & QA

Install Red Synthesize Green

skills CLI
$ npx skills add SebastienDegodez/copilot-instructions --skill red-synthesize-green -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install SebastienDegodez/copilot-instructions red-synthesize-green --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/SebastienDegodez/copilot-instructions.git skills-src && mkdir -p .claude/skills && cp -r skills-src/plugins/superpowers-whetstone/skills/red-synthesize-green .claude/skills/red-synthesize-green && rm -rf skills-src

Use ~/.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/

Facts

Skill name
red-synthesize-green
GitHub stars
198
Token cost
~1.4k tokens
SKILL.md length
697 words
Files
1
Skills in repo
19
Repo updated
First seen
Licence
Apache-2.0

At a glance

A skill your agent uses when implementing any feature or fix using TDD, before writing any implementation code

  • Works in 2 steps: RED (Behavior Failure Only) → SYNTHESIZE GREEN (Clean Synthesis)
  • Implementing any feature
  • SKILL.md covers Overview, Step 1: RED (Behavior Failure…, Between Steps: Architectural… and Step 2: SYNTHESIZE GREEN…, plus 6 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Red Synthesize Green is an agent skill from SebastienDegodez/copilot-instructions. Use when implementing any feature or fix using TDD, before writing any implementation code

Its SKILL.md is about 1.4k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Testing & QA, covering Test-driven development. The repository describes itself as: A comprehensive codebase of best practices, coding rules, and workflow automation for AI-assisted development with GitHub Copilot. Includes DDD, Clean Architecture, testing… The licence is Apache-2.0.

When your agent uses it

  • Implementing any feature
  • Before writing any implementation code

Example prompts

  • “/red-synthesize-green”

Workflow steps

2 steps, taken from the step headings in SKILL.md.

  1. RED (Behavior Failure Only)
  2. SYNTHESIZE GREEN (Clean Synthesis)

What it can do on your machine

Read from SKILL.md and the folder at commit 0f0dccf. 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

Red Synthesize Green loads about 1.4k tokens when it runs. Until then it costs about 28 tokens; SKILL.md has 697 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~28
When it runs · the whole SKILL.md, loaded when a task matches
~1.4k

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 SebastienDegodez/copilot-instructions at commit 0f0dccf, republished under its Apache-2.0 licence (© SebastienDegodez). 697 words, ~1,373 tokens.

Download SKILL.mdSave it as .claude/skills/red-synthesize-green/SKILL.md (or your agent's skills folder).
name
red-synthesize-green
description
Use when implementing any feature or fix using TDD, before writing any implementation code

RED → SYNTHESIZE GREEN (AI TDD Cycle)

Overview

2-step cycle replacing traditional 3-step TDD. Optimized for AI synthesis.

  • Traditional (3 steps): RED → green (dirty) → Refactor
  • AI-Optimized (2 steps): RED (behavior failure) → SYNTHESIZE GREEN (clean synthesis)

Architectural guidance is mandatory between steps.

Hard rule: No implementation code before RED is a clean behavior failure.

Step 1: RED (Behavior Failure Only)

Write the failing test. Run it.

  • Compilation errors = wishful thinking phase → implement stubs/empty returns to compile, rerun
  • Assertion/behavior failure = RED ✓ → proceed to Step 2
  • Never treat compilation errors as RED

Programming by Wishful Thinking: When your test won't compile, you're discovering the API you need. Stub just enough to compile, then confirm the test fails on behavior.

Between Steps: Architectural Guidance (MANDATORY)

Hard rule: This step is not skippable. Do not proceed to SYNTHESIZE GREEN without completing it.

Developer must review and explicitly validate the test before continuing. AI pauses here and waits for developer confirmation that the test correctly captures the intended behavior.

Orient design before synthesis:

  • Which pattern? (specification, factory, builder)
  • Which layer owns the logic?
  • Immutability, return values vs mutations?

Step 2: SYNTHESIZE GREEN (Clean Synthesis)

Implement complete, clean, production-ready solution in one shot.

  • Follows all architectural rules and coding standards
  • No dirty-then-refactor — synthesize properly from the start
  • Idiomatic code, domain semantics, SOLID principles
  • If test was misunderstood → revise test, restart from RED

No iteration after SYNTHESIZE GREEN unless RED was wrong or architectural guidance changed.

Common Rationalizations

ExcuseReality
"Compilation error IS red"No. Compilation = wishful thinking. RED = behavior failure.
"I'll write dirty code then refactor"That's 3-step TDD. SYNTHESIZE GREEN produces clean code.
"I can skip RED, I know it'll fail"Run it. RED proves your test catches real failures.

Red Flags — STOP and Restart

  • Implementation code before RED is a behavior failure
  • Compilation errors treated as RED
  • Skipping RED entirely
  • Skipping the Between Steps architectural guidance
  • Proceeding to SYNTHESIZE GREEN without developer test validation
  • Refining code after SYNTHESIZE GREEN instead of revising RED

Any of these mean: Delete code, start over with proper RED.

Quick Reference

PhaseWhatSuccess Criteria
REDWrite test, stub until compiles, runTest fails on behavior (assertion), not compilation
Guidance (MANDATORY)Orient architectural approach + developer validates testDesign direction clear, developer has confirmed test
SYNTHESIZE GREENSynthesize complete clean solutionTests green, architecture respected, production-ready
Show full SKILL.md (313 more words)Show less

When Orchestrating Subagents (MANDATORY)

If you are an orchestrating agent using subagent-driven-development:

NEVER put RED and SYNTHESIZE GREEN in the same subagent prompt.

Split every TDD task into two separate dispatches:

  1. Dispatch 1 — RED only: subagent writes test, stubs to compile, runs to confirm behavior failure, reports the failing test output
  2. YOU pause — show the failing test to the developer, wait for explicit confirmation ("ok, proceed")
  3. Dispatch 2 — SYNTHESIZE GREEN: only after developer approves the test

The mandatory human validation checkpoint is the orchestrator's responsibility. It cannot be delegated to the subagent.

Red flags — you are violating this rule if:

  • Your subagent prompt contains both "write the failing test" AND "implement the solution"
  • You wrote PAUSE in a plan comment but included all steps in one prompt
  • You assumed the developer would confirm via the plan document
RationalizationReality
"The pause is in the plan text"Plans are documentation. Dispatch boundaries are enforcement.
"The subagent will stop and ask"Subagents execute what they receive. Split the prompt.
"It's more efficient in one shot"Efficiency that skips developer validation is not efficiency.

Integration

REQUIRED BACKGROUND: superpowers-whetstone:outside-in-tdd — defines the two test streams (Application + Domain) that this cycle drives.

Quality Gate Ownership

This skill owns the strict TDD quality gate for business logic layers:

  1. Application and Domain logic must reach 100% code coverage before completion.
  2. Mutation testing on Application and Domain logic must end with 0 non-equivalent surviving mutants.
  3. Any equivalent mutant must be explicitly documented with justification.

If one of these conditions is not met, work is not complete.

Behavior-first workflow: When used with superpowers-whetstone:outside-in-tdd:

  1. superpowers-whetstone:gherkin-gate defines WHAT (observable behavior)
  2. Acceptance tests map scenarios to executable tests (RED phase)
  3. This skill enforces the RED → validation → SYNTHESIZE GREEN cycle
  4. superpowers-whetstone:mutation-testing validates test quality after GREEN (before merge)

Pair with domain-specific testing skills for patterns and examples.

© SebastienDegodez, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in plugins/superpowers-whetstone/skills/red-synthesize-green of SebastienDegodez/copilot-instructions.

Open the folder on GitHubat commit 0f0dccf

Compare with similar skills

Red Synthesize Green 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.

Red Synthesize Green compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Red Synthesize Green this skillSebastienDegodez/copilot-instructions198—~1.4kAutomated safety check: PassApache-2.0
TDDpietheinstrengholt/rssmonster56430 repos~906Automated safety check: PassMIT
TDD WorkflowhellangleZ/burn-in-cceverywhere-ralph11211 repos~2.4kAutomated safety check: PassNone
TDDsanity-io/sanity6.4k20 repos~1kAutomated safety check: PassMIT
Test Driven Developmentfarm-fe/farm5.6k52 repos~2.5kAutomated safety check: PassMIT
Tapd Story PipelineTencentBlueKing/bk-bcs840—~2.6kAutomated safety check: PassCustom licence

Similar skills

  • TDD

    pietheinstrengholt/rssmonster

    Test-driven development. An agent skill from pietheinstrengholt/rssmonster.

    564 GitHub starsUsed in 30 repos~906 tokens
    Testing & QAAuto-check passed
  • TDD Workflow

    hellangleZ/burn-in-cceverywhere-ralph

    A skill your agent uses when writing new features, fixing bugs, or refactoring code.

    112 GitHub starsUsed in 11 repos~2.4k tokens
    Testing & QAAuto-check passed
  • TDD

    sanity-io/sanity

    Official

    Test-driven development with red-green-refactor loop. An agent skill from sanity-io/sanity.

    6.4k GitHub starsUsed in 20 repos~1k tokens
    Testing & QAAuto-check passed
  • A skill your agent uses when implementing any feature or bugfix, before writing implementation code

    5.6k GitHub starsUsed in 52 repos~2.5k tokens
    Testing & QAAuto-check passed
  • Tapd Story Pipeline

    TencentBlueKing/bk-bcs

    单需求实现流水线——把一个 TAPD 需求从零推进到代码提交。自动串联技术澄清、 开发计划、任务拆分、TDD 实现、架构/安全校验、代码提交六个阶段。

    840 GitHub stars~2.6k tokensUpdated 2 days ago
    Testing & QAAuto-check passed
  • Absolute Init

    maddhruv/absolute

    One-time setup for absolute: interview how you want it to behave (output style, autonomy, TDD strictness, spec dir, families) + detect the stack once, then write .absolute.config.json (project…

    219 GitHub starsUsed in 1 repo~3k tokens
    Testing & QAAuto-check passed

More from SebastienDegodez/copilot-instructions

All 19 skills in this repo
  • Setup Husky Dotnet

    SebastienDegodez/copilot-instructions

    A skill your agent uses when configuring Git hooks in .NET projects before team commits occur, to enforce commit message standards and code formatting automatically

    198 GitHub stars~1.3k tokensUpdated 4 days ago
    Auto-check passed
  • Clean Architecture Dotnet

    SebastienDegodez/copilot-instructions

    A skill your agent uses when domain logic leaks into API/Infrastructure, project references violate layer boundaries, or you need to decide between CQS (always), CQRS bus (complex domains), and DDD…

    198 GitHub stars~5.1k tokensUpdated 4 days ago
    Auto-check passed
  • Outside In TDD

    SebastienDegodez/copilot-instructions

    A skill your agent uses when writing tests from the outside-in, defining behavior before code, or any feature where tests should start from observable business behavior and let internal design emerge

    198 GitHub stars~1.8k tokensUpdated 4 days ago
    Auto-check passed
  • Creating Dotnet MCP Servers

    SebastienDegodez/copilot-instructions

    A skill your agent uses when building Model Context Protocol (MCP) servers in .NET, configuring tools, transports (SSE/stdio), JSON serialization for AOT, or testing MCP endpoints

    198 GitHub stars~1.3k tokensUpdated 4 days ago
    Auto-check passed
  • Generate Microcks Openapi Samples

    SebastienDegodez/copilot-instructions

    A skill your agent uses when creating OpenAPI mock examples for Microcks, setting up request/response routing with dispatchers, or mapping request fields to mock responses

    198 GitHub stars~2.5k tokensUpdated 4 days ago
    Auto-check passed
  • Analyzing Code

    SebastienDegodez/copilot-instructions

    A skill your agent uses when understanding project composition by language, measuring code change impact, or generating code statistics for CI/CD metrics

    198 GitHub stars~1k tokensUpdated 4 days ago
    Auto-check passed

Categories

Questions about Red Synthesize Green

What does Red Synthesize Green do?

A skill your agent uses when implementing any feature or fix using TDD, before writing any implementation code. Red Synthesize Green is an agent skill from SebastienDegodez/copilot-instructions.

When should I use Red Synthesize Green?

Red Synthesize Green fits situations like: implementing any feature; before writing any implementation code.

How do I install Red Synthesize Green in Claude Code?

Run `npx skills add SebastienDegodez/copilot-instructions --skill red-synthesize-green -a claude-code`. Or copy the skill folder (plugins/superpowers-whetstone/skills/red-synthesize-green in SebastienDegodez/copilot-instructions) into .claude/skills/red-synthesize-green in your project. Claude Code loads it when a task matches its description.

How do I install Red Synthesize Green in Codex?

Run `npx skills add SebastienDegodez/copilot-instructions --skill red-synthesize-green -a codex`. Or copy the skill folder (plugins/superpowers-whetstone/skills/red-synthesize-green in SebastienDegodez/copilot-instructions) into .agents/skills/red-synthesize-green in your project. Codex loads it when a task matches its description.

Can I use Red Synthesize Green 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 SebastienDegodez/copilot-instructions --skill red-synthesize-green -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/red-synthesize-green, .gemini/skills/red-synthesize-green, .github/skills/red-synthesize-green and .opencode/skills/red-synthesize-green in your project.

What does Red Synthesize Green need to run?

SKILL.md names no scripts, command-line tools or credentials: Red Synthesize Green is instructions for the agent only.

Does Red Synthesize Green 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 Red Synthesize Green 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 Red Synthesize Green use?

Red Synthesize Green is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Red Synthesize Green use?

About 1.4k tokens (SKILL.md is roughly 5.5k 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 Red Synthesize Green?

Skills that share tags, products or a category with Red Synthesize Green: TDD (pietheinstrengholt/rssmonster, 564 stars), TDD Workflow (hellangleZ/burn-in-cceverywhere-ralph, 112 stars), TDD (sanity-io/sanity, 6.4k stars) and Test Driven Development (farm-fe/farm, 5.6k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Red Synthesize Green?

SebastienDegodez (a GitHub user) maintains it in SebastienDegodez/copilot-instructions, which has 198 GitHub stars. The repository holds 19 skills in this directory. The repository was last updated on October 6, 2026.

Source: SebastienDegodez/copilot-instructions on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.