Another example, my actual prompts https://x.com/bcherny/status/2102543349102338309?s=20
DGX agentAnother 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