MEFAI Verifiable Autonomous Trader