Skip to main content

ProofRun

Green CI is not the same as working software.

​
The Problem

AI-generated tests look correct and pass - because they mock the thing they are testing. Coverage metrics lie. Production defects escape through fully-mocked, 100%-green test suites.

​
What It Does

Three-stage quality backstop:
  1. Audit - detects test smells: mocking the unit under test, asserting only on mock args, no real execution path
  2. Generate - produces test plans from acceptance criteria (real execution, no fake-green)
  3. Validate - runs symbol-level smoke tests pre-deploy

​
Try It

Audit an existing test suite:
Generate tests from AC:
Pre-deploy smoke check:

​
Expected Output

  • Test smell report - per-file violations with severity
  • AC-derived test plan - real execution paths, no mocked units
  • Smoke test results - pass/fail per critical symbol

​
Who This Is For

  • QA leads inheriting untested or mis-tested codebases
  • Teams with green CI and recurring production bugs
  • Engineering managers introducing AI coding assistants and needing a quality backstop
ProofRun rejects tests that mock the unit under test. A test that only asserts on mock.call_args is not a test - it is a false signal.