{"@context":"https://schema.org","@graph":[{"@type":"SoftwareApplication","@id":"https://hol.org/registry/plugins/olegtestov%2Fprove-it-mini#plugin","name":"Prove-It Mini","description":"Prove-It Mini is a pytest Stop hook for Claude Code. When the agent tries to finish after changing code, it runs your test command. Red tests block the stop and hand the failure back to the agent, at most 2 times. If tests are still red, the agent may stop, and you see \"NOT verified\" instead of a quiet \"done\". Changed or deleted test files are named on every outcome, and green states are remembered, so tests don't rerun on every message. No signup, no reviewer model, Python standard library only, MIT. Recorded example (Claude Haiku 4.5): the agent said \"Done\" with 1 of 3 new tests failing; the gate blocked once, the agent fixed it, and tests went green in 13 seconds. Limits: passing tests don't prove the code is correct; test edits are flagged, not prevented. Install in Claude Code: /plugin marketplace add OlegTestov/prove-it-mini, then /plugin install prove-it-mini@prove-it-mini, then run /prove-it-mini:setup once in each repo. Needs git, Python 3.9+ and pytest; macOS or Linux (Windows via WSL).","url":"https://hol.org/registry/plugins/olegtestov%2Fprove-it-mini","applicationCategory":"Development & Workflow","softwareVersion":"1.0.0","creator":"OlegTestov","codeRepository":"https://github.com/OlegTestov/prove-it-mini","license":"MIT","softwareRequirements":["Works with Claude Code"],"sameAs":["https://github.com/OlegTestov/prove-it-mini","https://github.com/OlegTestov/prove-it-mini"],"image":["https://storage.googleapis.com/inscription-uploads/plugin-launch-media%2Folegtestov_prove-it-mini%2F409282c6-149f-4c7b-9b74-89e112697255%2F47e0f72c-133a-49c0-bbc6-dd58c430d021.png","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Dolegtestov%252Fprove-it-mini%26metric%3Dtrust%26style%3Dflat","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Dolegtestov%252Fprove-it-mini%26metric%3Dsecurity%26style%3Dflat"],"additionalProperty":[{"@type":"PropertyValue","name":"HOL Trust Score","value":64},{"@type":"PropertyValue","name":"Security Score","value":59},{"@type":"PropertyValue","name":"Security Result","value":"Caution"},{"@type":"PropertyValue","name":"Skills Bundled","value":3},{"@type":"PropertyValue","name":"MCP Servers Bundled","value":0},{"@type":"PropertyValue","name":"Apps Bundled","value":0},{"@type":"PropertyValue","name":"Latest Launch","value":"Prove-It Mini"},{"@type":"PropertyValue","name":"Launch Tagline","value":"Pytest Stop hook for Claude Code: two repair attempts, then \"NOT verified\"."},{"@type":"PropertyValue","name":"Known limitation","value":"Some security checks did not finish: Cisco skill scan and HOL plugin scan."},{"@type":"PropertyValue","name":"Known limitation","value":"3 medium findings from the scan."}]},{"@type":"ItemList","@id":"https://hol.org/registry/plugins/olegtestov%2Fprove-it-mini#related-alternatives","name":"Alternatives in Development & Workflow","itemListOrder":"https://schema.org/ItemListOrderDescending","numberOfItems":4,"itemListElement":[{"@type":"ListItem","position":1,"name":"agent-kit","url":"https://hol.org/registry/plugins/agent-kit-startup%2Fagent-kit"},{"@type":"ListItem","position":2,"name":"A Team","url":"https://hol.org/registry/plugins/rbraga01%2Fa-team"},{"@type":"ListItem","position":3,"name":"ArmorCodex","url":"https://hol.org/registry/plugins/armoriq%2Farmorcodex"},{"@type":"ListItem","position":4,"name":"AtomLane","url":"https://hol.org/registry/plugins/cloudguo123%2Fatomlane"}]}]}