GitHub repository: Alexvozhak/state-mate-typed
Description: Simple tool that validates smart contracts' state