Homen Shum

Proof supervisor

NodeProof

Runs your gate on coding-agent work and records the verdict.

View source
  1. 01configure gate
  2. 02agent works
  3. 03run gate
  4. 04verdict

What it is

NodeProof: portable proof supervisor for coding agents; one prompt starts the loop, deterministic gates prove the app works.

Topics

  • agent-reliability
  • claude-code
  • cli
  • coding-agents
  • hooks
  • llm
  • nodejs
  • verification
  • nodeproof
  • proof-loop
  • agent-verification
  • deterministic-gates

Start here

Facts

  • TypeScript
  • MIT license
  • Updated Oct 2026

From the README

node dist/cli.js init then gate in a throwaway project: the gate FAILS (exit 1) while add() is wrong, and PASSES (exit 0) only after the one-line fix

node dist/cli.js init then gate in a throwaway project: the gate FAILS (exit 1) while add() is wrong, and PASSES (exit 0) only after the one-line fix. Animated demo hidden because your device asks for reduced motion. Open the animation.

NodeProof/docs/media/gate-demo.gif · 960×600, 1.4 MB · in the README

Checks, task corpora and protocols for reviewing agent work.