A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean. - View it on GitHub