An open-source static analyzer for Clarity smart contracts on the Stacks blockchain. Stacy automatically identifies common security vulnerabilities and deviations from best practices in Clarity code. The tool provides flexible analysis options, detector filtering capabilities, and includes example smart contracts demonstrating vulnerabilities and their fixes.
