README

Generate formal verification test cases for your Solidity smart contracts using AI. Apogee can automatically generate Foundry invariant tests for your smart...