Codex can 1 shot invariant tests for a 6k SLOC codebase in 8h with a /goal that referencing OOS material from @getreconxyz and @trailofbits I’ll share a skill soon