GitHub repository: mayhemheroes/circomspect
Description: A static analyzer and linter for the Circom zero-knowledge DSL