Oh boy! My favorite thing about vibe coding is when agents write tests that assert whether certain strings exist in the codebase. Now we can formally verify that they do!

same! i noticed this a while ago and can't stop seeing it everywhere - https://github.com/legluondunet/SpiderMan2k1Fix/blob/7c6e032...