I second quantstamp. There is a decent, albeit somewhat superficial review of the project:
https://medium.com/@ivanfartunov/quantstamp-and-why-we-need-more-security-audits-on-smart-contracts-acad5dc478a7