Safety contract
Success condition & verification
Run this loop
verify modeExecutes the loop's published verification under enforced confinement and returns an objective pass / fail. Your server environment is never inherited.
Sign in to run
Browsing is free. Running a loop needs a key so runs are attributable.