This is an interesting approach to problem solving that I'm surprised an LLM would help with. There is also a followup [0] releasing this tool as a Claude plugin (I haven't tried it myself). I'm much less interested in the application (DeFi) than in the possibility that we could use tools like this to eliminate common classes of bugs like dimensionality errors.
[0] - https://blog.trailofbits.com/2026/03/25/try-our-new-dimensio...