I was actually working on something like a "claim checker" recently. Inspired by stuff like Codeql. But I realised that all the really valuable business facing claims can't be checked just by static code analysis, and need to be done via integration and unit tests only. Given that claude code can pretty much write all the runtime tests fairly easily and quickly, I don't see how anything else can be better.