kontrol cli
kontrol combines KEVM and Foundry to grant users the ability to perform property verification on Solidity smart contracts. https://kontrol.runtimeverification.com/
Simply put, kontrol is property testing/verification for Solidity compiled to EVM.