Good idea, but these do exist in many forms though they're not necessarily keeping up with industry needs. I know for 61508 SIL (Safety Integrity Levels) many companies, which I'm not going to mention here, offer these services.
Of course, the problem is how do you know that an algorithm is good enough? For SIL, they basically say if it's complex at all, then don't do it. Of course, these are safety systems, so they need to guarantee safety. But at times it feels like they're saying if you don't want to get in car wreck, then you must walk. It's not for lack kof trying on their part, it's just a hard problem.