GitHub repository: CoinFabrik/stacy
Primary language: Python
Description: Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.