Hi @ilanD and @obernardovieira,
@tinchoabbate shared OpenZeppelin's online ERC20 verifier: behind the scenes on how they used Slither.
@VeraBE wrote last year during their internship about Using automatic analysis tools with MakerDAO contracts which I suggest looking through along with the replies.
I’m not aware of anything else in the forum. Would be interested to hear more from the community.