Model Releases
Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20
Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20 I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing vari
Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20 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…
Related
Source: Boris Cherny (X) | 2026-10-06