With Mythril and Slither, the Hacken team conducted code functionality analysis, manual auditing, and automated checks. All problems discovered during automated analysis were checked thoroughly, and key issues are highlighted in the Audit overview section.