TestMachine is an SaaS product which allows the users, CTOs and Blockchain developers generate security audits for their smart contract using Artificial Intelligence.

You can see the launch page here: www.testmachine.ai