Blue Hands is a EVM Smart contract analyser that uses symbolic analysis in order to find vulnerabilities (or any arbitary constraint tbh).
At the moment it has no public interface, but you can look at some of the tests to get a feel for what it will look like.