Repository snapshot does not include a lockfile.
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
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
- Open data
- entity.json (JSON-LD)
Trust & Reputation
Factor Analysis
Per-metric points (0–100 each) combined via a weighted average into the overall score.
Registry Snapshot
- Canonical profile
- https://hol.org/registry/plugins/rooagi%2Fred-green-proof
- Publisher verification
- No
- Marketplace source
- Unknown
- Scanner
- Broker fallback
- Safety label
- safe
- Digest verified
- Yes
Trust & reputation
Trust & Reputation
Factor Analysis
Per-metric points (0–100 each) combined via a weighted average into the overall score.
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
- Provider
- registry-broker-fallback
- Grade
- A · safe
- Version
- Unknown
Findings
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.
- 1
Add the marketplace
Run this inside a Claude Code session.
claude code - 2
Install the plugin
Use the plugin name and the marketplace name shown by the previous command.
claude code - 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.
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…