AI audit

This automated audit tool for smart contracts is not fully tested, so use it as a guide only.