Enforce the Beam style for Solidity code
A solhint plugin to enfore Eco's style rules
Standalone VDF Prover