Free smart contract security scanner using Slither static analysis
github.com/habify-labs/pact-protocol-v1/tree/main/pact-audit-free
habify-labs/pact-protocol-v1