{"@context":"https://schema.org","@graph":[{"@type":"SoftwareApplication","@id":"https://hol.org/registry/plugins/rooagi%2Fred-green-proof#plugin","name":"Red-Green Proof","description":"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.","url":"https://hol.org/registry/plugins/rooagi%2Fred-green-proof","applicationCategory":"Development & Workflow","softwareVersion":"0.1.0","creator":"RooAGI","codeRepository":"https://github.com/RooAGI/red-green-proof","sameAs":["https://github.com/RooAGI/red-green-proof","https://github.com/RooAGI/red-green-proof"],"image":["https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Drooagi%252Fred-green-proof%26metric%3Dtrust%26style%3Dflat","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Drooagi%252Fred-green-proof%26metric%3Dsecurity%26style%3Dflat"],"additionalProperty":[{"@type":"PropertyValue","name":"HOL Trust Score","value":87},{"@type":"PropertyValue","name":"Security Score","value":95},{"@type":"PropertyValue","name":"Skills Bundled","value":1},{"@type":"PropertyValue","name":"MCP Servers Bundled","value":0},{"@type":"PropertyValue","name":"Apps Bundled","value":0}]}]}