The quality of ai-assisted smart contract review tools has increased a lot. These should be always part of a development stack and part of security hardening(Stani)