A Crytic project, supported by the security company, Trail of Bits, Tayt is a testing library optimized to analyze Cairo smart contracts. Developers can target specific files or run Tayt on entire projects to introduce external functions that 'fuzz' smart contracts and checks for flags. Tayt supports invariant function calls, coverage, and fuzzing of smart contracts that deploy other smart contracts.