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