GitHub repository: FuzzingLabs/thoth
Primary language: Python
Description: Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)