chimera

Smart Contract Property-Based Testing Framework. Maintained by Recon-Fuzz on GitHub, where it has earned 161 stars from the community.

It's actively developed around echidna, foundry, fuzzer, and is a solid reference for anyone building with these tools.