Is there any tool to be able to do formal verification on hardhat projects that's open source?
2 Answers
Some great open source FV tools are the SMT Checker by the solidity team (there's a nice introduction thread here) and manticore maintained by Trail of Bits.
For a detailed overview of Formal Verification, you can check out this repo.
Certora also has a variety of tools to help you with contract security including formal verification: https://demo.certora.com/