Introducing scau.pro, our new service for automatic security analysis of smart contracts. Previously we presented a similar service. The new service has been completely rewritten. Now it supports not only single-file, but also published multi-file smart contracts.
The audit of Ethereum smart contracts written in Solidity is performed using artificial intelligence technologies. We are ready to develop the service and add support for other networks and smart contract programming languages as well.
The duration of the analysis in most cases is a few minutes.
This online service works in free beta testing mode. To have more reliable results, we recommend users to order an in-depth manual security audit of smart contracts.