Symteal is an automated verification framework for Algorand - View it on GitHub