I saw this just a little bit ago:

Calle is building on something Rob Hamilton started:

Hamilton published his own update today as well:

This all seems good: lots of smart people using cutting edge AI models to scan widely-used bitcoin projects and responsibly disclosing the errors they find.

Perhaps one of the better things that comes out of the Coldcard fuckup will be that bitcoiners build some kind of community-powered LLM-wielding code scanner that hopefully at least catches stupid errors before they do too much damage.