GitHub repository: smol-ninja/bulloak-toolchain
Primary language: Solidity
Description: Automates the verification of Solidity tests written using BTT technique