Red-Green Proof icon

Red-Green Proof

Prove suspected bugs with a red-green-red test loop: verify the cause, watch the test fail, apply the fix, and confirm the test fails again when the fix is reverted.

rooagi/red-green-proof · v0.1.0 · Development & Workflow

RooAGIsafe

Trust Score

87

Security

95

Surfaces

1

What is Red-Green Proof?

Red-Green Proof is a published development & workflow plugin for AI coding agents in the codex ecosystem, developed by RooAGI and distributed through the HOL AI plugin registry. Prove suspected bugs with a red-green-red test loop: verify the cause, watch the test fail, apply the fix, and confirm the test fails again when the fix is reverted.

Canonical slug
rooagi/red-green-proof
Version
v0.1.0 · updated Sep 20, 2026

Trust & Reputation

HOL Trust Score
87

Factor Analysis

Per-metric points (0–100 each) combined via a weighted average into the overall score.

Installability
100pts
Maintenance
55pts
MCP Posture
100pts
Plugin Security
95pts
Provenance
70pts
Publisher Quality
75pts

Registry Snapshot

Publisher verification
No
Marketplace source
Unknown
Scanner
Broker fallback
Safety label
safe
Digest verified
Yes
1 bundled skill — copy or download SKILL.mdOpen skills

Trust & reputation

Trust & Reputation

HOL Trust Score
87

Factor Analysis

Per-metric points (0–100 each) combined via a weighted average into the overall score.

Installability
100pts
Maintenance
55pts
MCP Posture
100pts
Plugin Security
95pts
Provenance
70pts
Publisher Quality
75pts

Provenance

Plugin root
plugins/red-green-proof
Source repo
https://github.com/RooAGI/red-green-proof
Source commit
7cee6dc31a4c…
Publisher verified
No
Owner verified
Not owner verified

Continuous scanner CI detected

No action is required. This plugin receives the full trust score.

Verified badge not detected

Add the HOL verified badge to the repository README to score +2% trust. Plugin owners can open that pull request from Guard Plugins.

Security Posture

safe
Safety label
95
Security score
0
High findings
Provider
registry-broker-fallback
Grade
A · safe
Version
Unknown
cisco-skill-scanner: unknown

Findings

lowoperational-securitysupply-chain.lockfile-missing

Repository snapshot does not include a lockfile.

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

Red-Green Proof — Frequently asked questions

What is Red-Green Proof?
Red-Green Proof is an AI plugin in the HOL registry. Prove suspected bugs with a red-green-red test loop: verify the cause, watch the test fail, apply the fix, and confirm the test fails again when the fix is reverted.
How do I install Red-Green Proof?
Install Red-Green Proof in your harness: Codex — codex plugin marketplace add RooAGI/red-green-proof; Claude Code — /plugin marketplace add RooAGI/red-green-proof; Any agent — npx skills add RooAGI/red-green-proof. Full step-by-step guidance is on the HOL plugin page.
How do I install Red-Green Proof in Codex?
To install Red-Green Proof in Codex, start with codex plugin marketplace add RooAGI/red-green-proof. The complete step-by-step install guide for Codex is on the HOL plugin page.
How do I install Red-Green Proof in Claude Code?
To install Red-Green Proof in Claude Code, start with /plugin marketplace add RooAGI/red-green-proof. The complete step-by-step install guide for Claude Code is on the HOL plugin page.
Is Red-Green Proof free?
Pricing for Red-Green Proof is published on its HOL plugin page when the maker schedules a launch.
Who publishes Red-Green Proof?
Red-Green Proof is published by RooAGI and listed on HOL.
Is Red-Green Proof available now?
Red-Green Proof availability is listed on its HOL plugin page.

Install Guidance

Install in Claude Code

Install through the Claude Code plugin marketplace.

Claude Code plugin docs
  1. 1

    Add the marketplace

    Run this inside a Claude Code session.

    claude code
  2. 2

    Install the plugin

    Use the plugin name and the marketplace name shown by the previous command.

    claude code
  3. 3

    Scripted alternative

    Non-interactive equivalent for scripts and CI pipelines. Add --scope project to pin the install to one repository.

    shell

Plugin Manifest

{
  "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": "./",
  "interface": {
    "displayName": "Red-Green Proof",
    "developerName": "RooAGI",
    "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.",
    "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."
    ]
  },
  "registryIndexVersion": 5
}

Marketplace Source

Repo URL
https://github.com/RooAGI/red-green-proof
Marketplace path
Unknown
Source path
plugins/RooAGI/red-green-proof
Install policy
AVAILABLE

Skills

1 SKILL.md file ship with this plugin. Preview, copy, or download each one, then install them with the Skills CLI.

Share
skills-cli
  • red-green-proof

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

    SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.

File Inventory

.claude-plugin/plugin.json

file

548 bytes

572ddcba35d55f95…

.codex-plugin/plugin.json

plugin-manifest

1,264 bytes

8396f8a0aded1965…

assets/icon.svg

asset

243 bytes

a97ca25c10d15295…

assets/logo.svg

asset

357 bytes

6f0e386d354ebc60…

assets/screenshot.svg

asset

646 bytes

2cea58e3bfc0fd7a…

README.md

file

308 bytes

c3f15df8cbf05f5e…

SECURITY.md

file

380 bytes

4844e41858cbd196…

skills/red-green-proof/SKILL.md

skill

7,722 bytes

1755329e6fc5aeca…