A static analyzer and linter for the Circom zero-knowledge DSL - View it on GitHub