MEF is an on-chain provable chess platform built on the Cartesi, leveraging its off-chain computation capabilities.