Skip to content

Releases: K-kiron/ProveIt

Release list

v0.1.0 - Regression evidence for pytest

v0.1.0 - Regression evidence for pytest Latest
Latest

Choose a tag to compare

View all tags
@K-kiron K-kiron released this 23 Sep 02:32
v0.1.0
22f1c72

ProveIt checks whether one pytest regression test catches a specified bug before a committed repair and passes afterward. It saves the exact test, resolved refs, diff, phase records, logs, and a readable/JSON verdict.

Install

npx skills add K-kiron/ProveIt --skill prove-it --agent codex --copy

Alternatively, download the skill ZIP below, verify it against SHA256SUMS.txt, and copy the complete prove-it folder into your project's .agents/skills/ directory. Git, Python 3.11+, pytest 7.4–8.x, and the target project's dependencies are required.

Included

  • Repeated before/after runs with identical committed test bytes.
  • Explicit handling of old-green tests, new-red tests, environment errors, unrelated failures, skip/xfail, timeout, and unstable results.
  • Source checkout/index preservation and cleanup of runner-owned processes.
  • A reproducible expiry-boundary demo, usage guide, contribution guidance, and deterministic release packaging.

Verification

The release commit's CI passes on Windows and Ubuntu with Python 3.11 / pytest 7.4.4 and Python 3.12 / pytest 8.4.2. Each job runs the tests, the two-case demo, and the package builder.

The public repository was installed with Skills CLI 1.7.0 into a fresh project. Both three-attempt demo cases passed using that installed bundle. Codex project-level discovery was verified separately.

Scope

Supports pytest and committed local refs only. Temporary copies are not a security sandbox. The report concerns one selected behavior and does not prove overall correctness or establish a productivity improvement.

Assets 4
Loading