Agent Plugins Marketplace
← All plugins

red-green-proof

v0.1.0

Turn a suspected bug into a proven one: verify the cause, write a failing test, apply the smallest fix, and prove the test is load-bearing.

CodexClaude Code1 Skill

By RooAGILicense: MIT0 GitHub starsUpdated 1 hour ago

Directory evidence

Runtimes
Codex and Claude Code
Parsed components
1 skill or MCP entry
Source updated
Sep 1, 2026
Manifest status
Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install red-green-proof for Codex and Claude Code

Installs for the current user
codex plugin marketplace add RooAGI/red-green-proof
codex plugin marketplace upgrade rooagi
codex plugin add red-green-proof@rooagi

Paste and run these commands in a terminal with Codex. They add and refresh the rooagi catalog, then install this plugin.

Compatibility: the page URL and API slug “red-green-proof” remain stable.

  • Codex: red-green-proof@agent-plugin-marketplace → red-green-proof@rooagi

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually
git clone https://github.com/RooAGI/red-green-proof

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/red-green-proof/.

Plugin files

plugins/red-green-proof/
├── .codex-plugin/plugin.json
├── .claude-plugin/plugin.json
└── skills/red-green-proof/SKILL.md

Included Skills1

red-green-proofskills/red-green-proof/SKILL.md

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".

Plugin manifests2

plugins/red-green-proof/.codex-plugin/plugin.json
{
  "name": "red-green-proof",
  "version": "0.1.0",
  "description": "Turn a suspected bug into a proven one: verify the cause, write a failing test, apply the smallest fix, and prove the test is load-bearing.",
  "author": {
    "name": "RooAGI",
    "url": "https://github.com/RooAGI"
  },
  "homepage": "https://github.com/RooAGI/red-green-proof",
  "repository": "https://github.com/RooAGI/red-green-proof",
  "license": "MIT",
  "keywords": [
    "testing",
    "tdd",
    "debugging",
    "regression",
    "red-green"
  ],
  "skills": "./skills/",
  "interface": {
    "displayName": "Red-Green Proof",
    "shortDescription": "Prove bugs with a real red-green-red test loop.",
    "longDescription": "Verify the cause, watch a focused test fail, apply the smallest fix, and revert it to prove the test is load-bearing.",
    "developerName": "RooAGI",
    "category": "Engineering",
    "capabilities": [
      "Interactive",
      "Write"
    ],
    "websiteURL": "https://github.com/RooAGI/red-green-proof",
    "privacyPolicyURL": "https://docs.github.com/en/site-policy/privacy-policies/github-privacy-statement",
    "termsOfServiceURL": "https://docs.github.com/en/site-policy/github-terms/github-terms-of-service",
    "composerIcon": "./assets/icon.svg",
    "logo": "./assets/logo.svg",
    "screenshots": [
      "./assets/screenshot.svg"
    ],
    "defaultPrompt": [
      "Prove this bug using the red-green-proof loop."
    ]
  }
}
plugins/red-green-proof/.claude-plugin/plugin.json
{
  "name": "red-green-proof",
  "description": "Turn a suspected bug into a proven one: verify the cause, write a test that fails on today's code, apply the smallest fix, then revert the fix and confirm the test goes red again.",
  "version": "0.1.0",
  "author": {
    "name": "RooAGI",
    "url": "https://github.com/RooAGI"
  },
  "homepage": "https://github.com/RooAGI/red-green-proof",
  "repository": "https://github.com/RooAGI/red-green-proof",
  "license": "MIT",
  "keywords": [
    "testing",
    "tdd",
    "debugging",
    "regression",
    "red-green"
  ]
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[red-green-proof on Agent Plugins Marketplace](https://pluginsmp.com/plugins/red-green-proof)