I had the honour of modelling for @artofwarrenlouw as Harley Quinn for a comic book cover?!!!! Oh my gosh?!!!! Link in comments to grab one! I am so excited about this holy moly!
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
1/ I didn't expect 3D to feel like this.
One afternoon, 5 workflows, one reference image turned into 33 assets and a fully assembled dungeon scene. No modeling skills. 429 credits 🏰
Tool: Aholo Lux3D by @ManycoreTech 👇
#AholoLux3D# #Lux3D# #gpt6# #Astra#