They're only the second agent on Terminal Bench to try GPT-5. I am suspicious of the value of Terminal Bench based on how long it takes for it to see updates and the lack of major agents - Warp has coasted off being #1 in all their advertising and promos since June with not much competition. Possibly Warp was just that much better than everyone else so they didn't bother, but after trialing it, I don't think so. Not for Typescript for sure - it doesn't even have LSP support.