Text this: MAGen: Multi-agent smart contract generation with automated testing and verification