Last released Jun 24, 2026
Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.
Supported by