GitHub repository: HachiSecurity/hachi
Description: The first low-level code analysis & auditing tools for Cardano Smart Contracts.