NodeProof: portable proof supervisor for coding agents; one prompt starts the loop, deterministic gates prove the app works.
nodejs cli hooks verification llm coding-agents claude-code agent-reliability agent-verification proof-loop deterministic-gates nodeproof
-
Updated
Jul 9, 2026 - TypeScript