P

Prove-It Mini

Pytest Stop hook for Claude Code: two repair attempts, then "NOT verified".

olegtestov/prove-it-mini · v1.0.0 · Development & Workflow

by OlegTestovOwner verifiedScan grade: caution

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).

InstallSource
Follow0
Trust Score64Security scan59Components3
Protect this install with HOL Guard

Guard checks the skills and MCP servers a plugin adds on your machine and asks you before a risky action runs. The scores above are free, and no plan changes them.

Is Prove-It Mini a fit?

From the plugin's manifest and HOL's scan. Anything the plugin does not declare is shown as not declared.

Works with

  • Claude Code
  • 3 skills

Before you install

Sign-in
Not declared
Declared access
Not declared
License
MIT

Check before relying on it

What is Prove-It Mini?

Prove-It Mini is a published development & workflow plugin for AI coding agents in the Claude Code ecosystem, developed by OlegTestov and distributed through the HOL AI plugin registry. Pytest Stop hook for Claude Code that runs your tests when the agent tries to finish after code changes, hands red results back up to two times, then marks the result "NOT verified"; no model calls, pure Python standard library.

Canonical slug
olegtestov/prove-it-mini
Version
v1.0.0 · updated Oct 9, 2026

Registry snapshot

Owner verification
Verified on HOL as @OlegTestov
Scanner
Registry fallback scan
Security result
Caution
Digest verified
Yes
3 bundled skillsRead, copy or download each SKILL.mdOpen skills

Trust and security

Trust & reputation

On-Chain Verified
64

HOL Trust Score

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

Installability
64/100
Maintenance
30/100
MCP server setup
100/100
Plugin Security
59/100
Provenance
80/100
Publisher Quality
100/100

Provenance

Plugin root
.
Source repo
https://github.com/OlegTestov/prove-it-mini
Source commit
87fb90cc3954…
Publisher verified
Yes
Owner verified
@OlegTestov

Continuous scanner CI not detected

This plugin remains listed. Its overall trust score is reduced by 10% because security checks are not maintained in the source repository's CI.

Optional: maintain the scanner in the source repository's CI to receive the full trust score. Listing does not require that change.

README badge not detected

Plugin owners can add the HOL badge to the repository README from Guard Plugins. Distribution, not security evidence. It adds a 2% engagement adjustment to the overall trust score and never changes the security result.

Security posture

See how the Trust Score is computed
Caution
Security result
59
Security score
0
High findings
Provider
registry-broker-fallback
Grade
F · caution
Version
Unknown
cisco-skill-scanner: unknown

Published advisories

None matched in GitHub security advisories, checked . This covers published advisories only, not problems nobody has reported.

GitHub security advisories are those the source repository has published.

Findings

mediumpublishabilitypublishability.link.missing.websiteURL

websiteURL should be present for marketplace readiness.

mediumpublishabilitypublishability.link.missing.privacyPolicyURL

privacyPolicyURL should be present for marketplace readiness.

mediumpublishabilitypublishability.link.missing.termsOfServiceURL

termsOfServiceURL should be present for marketplace readiness.

lowoperational-securitysupply-chain.lockfile-missing

Repository snapshot does not include a lockfile.

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

Install guidance

Install in Claude Code

Install through the Claude Code plugin marketplace.

Claude Code plugin docs

Optional: install HOL Guard for Claude Code first, so it can check this plugin's tools on your machine before Claude Code uses them.

  1. 1

    Add the marketplace

    Run this inside a Claude Code session. It registers the marketplace manifest shipped at the repository root. If the repository ships none, add the generated entry from the Advanced section below first.

    claude code
  2. 2

    Find the marketplace and plugin names

    The install id is <plugin-entry>@<marketplace-name>, and the marketplace name is declared inside the manifest — it can differ from the repository name. List registered marketplaces to read both names.

    shell
  3. 3

    Install the plugin

    Substitute the plugin entry name and the marketplace name shown by the previous step.

    claude code

Did setup work in Claude Code?

No setup reports for Claude Code yet. Self-reported by signed-in visitors. Copying a command is not counted, and most installs are never reported.

Attested installs: Fewer than 10 attested installs of this plugin in week 2026-W43, so no number is shown. Counted from opt-in HOL Guard install reports, once per machine and runtime, and never mixed with the answers above. How install reports work.

Public pytest example from the README: 2 tests fail → the gate sends the agent back → 5 tests pass.
1 / 1

Public pytest example from the README: 2 tests fail → the gate sends the agent back → 5 tests pass.

Public pytest example from the README: 2 tests fail → the gate sends the agent back → 5 tests pass.

Full size
Loading reviews

Plugin manifest

{
  "name": "prove-it-mini",
  "displayName": "Prove-It Mini",
  "version": "1.0.0",
  "description": "A pytest Stop hook for Claude Code: two repair attempts, then an explicit unverified result. No model calls, no Node.",
  "author": {
    "name": "Oleg Testov",
    "url": "https://github.com/OlegTestov"
  },
  "homepage": "https://github.com/OlegTestov/prove-it-mini",
  "repository": "https://github.com/OlegTestov/prove-it-mini",
  "license": "MIT",
  "keywords": [
    "pytest",
    "testing",
    "stop-hook",
    "verification",
    "python"
  ],
  "interface": {
    "displayName": "Prove-It Mini",
    "developerName": "OlegTestov"
  },
  "skills": "./",
  "holManifestOrigin": "repository",
  "registryIndexVersion": 5
}

Marketplace source

Repo URL
https://github.com/OlegTestov/prove-it-mini
Marketplace path
Unknown
Source path
.
Install policy
Unspecified

Skills

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

Share
skills-cli

  • check

    skills/check/SKILL.md

    Run this repository's tests once through the Prove-It gate and show the result (green, red, or a configuration error).

    Raw SKILL.md

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

  • setup

    skills/setup/SKILL.md

    Turn on the Prove-It pytest gate in this repository. Writes .claude/prove-it/config.json (test command), a short rules block in CLAUDE.md and AGENTS.md, and a git exclude line for the gate's log. Run once per repository.

    Raw SKILL.md

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

  • teardown

    skills/teardown/SKILL.md

    Turn off the Prove-It pytest gate in this repository. Removes the rules blocks it added and its manifest; keeps .claude/prove-it/config.json and the .prove-it/ log.

    Raw SKILL.md

    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

533 bytes

5cf691140309381e…

.codex-plugin/plugin.json

plugin-manifest

621 bytes

0001bd0554c260fd…

hooks/hooks.json

file

514 bytes

94e52c3b761297ea…

README.md

file

14,512 bytes

1860afb1cc46fd89…

skills/check/SKILL.md

skill

766 bytes

d40ede671e5603e1…

skills/setup/SKILL.md

skill

1,223 bytes

e6814a4c68dd6811…

skills/teardown/SKILL.md

skill

895 bytes

160811a1a76c361e…

Prove-It Mini — Frequently asked questions

What is Prove-It Mini?
Prove-It Mini is an AI plugin in the HOL registry. 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…
How do I install Prove-It Mini?
Install Prove-It Mini in your harness: Claude Code — /plugin marketplace add OlegTestov/prove-it-mini; Any agent — npx [email protected] add OlegTestov/prove-it-mini. Full step-by-step guidance is on the HOL plugin page.
How do I install Prove-It Mini in Claude Code?
To install Prove-It Mini in Claude Code, start with /plugin marketplace add OlegTestov/prove-it-mini. The complete step-by-step install guide for Claude Code is on the HOL plugin page.
Is Prove-It Mini free?
Prove-It Mini is listed as free on HOL.
How is the Trust Score for Prove-It Mini computed?
Prove-It Mini has a HOL Trust Score of 64 out of 100. The score is a weighted sum of six components from a static scan of the source, capped for high-severity findings and adjusted by two disclosed policies. Memberships and payments are not inputs, and a scan is not a safety guarantee. Full breakdown: https://hol.org/registry/plugins/olegtestov%2Fprove-it-mini/trust
Who publishes Prove-It Mini?
Prove-It Mini is published by OlegTestov and listed on HOL.
Is Prove-It Mini available now?
Prove-It Mini is currently available according to its latest public launch.

Directory acceptance

Listed in 0 of 5 directory lists

Read from the list each directory publishes on GitHub. Being listed means the directory accepted the plugin; it is not a HOL security rating.

Lists last read . HOL re-reads them every day.

Submitting it? Check it against each directory's rules

Install signal

HOL cannot see every install. These are separate signals from different sources, so they are not added together. Counts under each floor show as <N.

Install commands issued here
<5
HOL Guard install commands issued from this listing, last 28 days.
Opt-in install reports
<10
Machines that reported installing it through HOL Guard in week 2026-W43. Reporting is opt-in, so most installs are not counted.
HOL Guard workspaces
<5
Workspaces that approved it or include it in an approved-plugin feed, as of today.
New GitHub stars
<5
From HOL's GitHub snapshots of the repository, 2026-10-10 to 2026-10-31.

Related plugins

Ordered by Trust Score. Listings cannot pay for these positions. Check each one fits your task before switching from Prove-It Mini.

Alternatives in Development & Workflow

See all Development & Workflow plugins

History, reviews, and similar plugins

Latest launch