Solidproof is specialized in auditing smart contracts and can find vulnerabilities in your blockchain project using manual and automated tests thus helping all project to give a good sense of security to theri community of users.