docs: add red-green-proof to plugin catalog

[rooagidev]

Summary

• Add Red-Green Proof to the Development & Workflow community plugin list.
• Link to the public plugin repository.

Plugin readiness

• Source repository: https://github.com/RooAGI/red-green-proof
• Includes .codex-plugin/plugin.json, README.md, LICENSE, and SECURITY.md.
• Added the required HOL Plugin Scanner workflow; its first run will provide the scanner result for review.
• This PR intentionally changes only README.md, per the contribution guide; the catalog generator mirrors the plugin bundle from the source repository.

Validation

• git diff --check
• Catalog entry is alphabetized in the Development & Workflow section.

[qodo-free-for-open-source-projects]

Code Review by Qodo

🐞 Bugs (0) 📘 Rule violations (0) 📎 Requirement gaps (0)

Great, no issues found!

Qodo reviewed your code and found no material issues that require review

Tip of the day

💡 Did you know, you can reply 'qodo' on any finding to push back, ask questions, or dig deeper

More tips ↗ | Customize Qodo ↗ | Qodo docs ↗

[qodo-free-for-open-source-projects]

PR Summary by Qodo

Add Red-Green Proof to community plugin catalog

📝 Documentation 🕐 Less than 5 minutes

AI Description

• Adds Red-Green Proof to the Development & Workflow community plugin catalog.
• Links users to the public repository and summarizes its bug-verification workflow.

High-Level Assessment

The direct README catalog entry is optimal because the repository's contribution model expects external community plugins to be linked from the catalog while their bundles remain in source repositories.

Files changed (1) +1 / -0

Documentation (1) +1 / -0

README.mdList Red-Green Proof in the community plugin catalog +1/-0

List Red-Green Proof in the community plugin catalog

• Adds an alphabetized Development & Workflow entry linking to the Red-Green Proof repository. The description explains its red-green-red loop for proving suspected bug causes and validating fixes.

README.md