Use Recon today, free for Open Source Foundry Projects:
https://getrecon.xyz/
In this video we:
Find a C4 Contest (Revert Lend)
Quickly scout the code for possible invariants and opportunities
Use Recon to scaffold a invariant testing setup in a few minutes vs hours of manual work
Run Stateful Fuzz Tests on a couple of functions
We even found a bug (although it's not exploitable)!