AI Agents on Arc with USDC team: Formal Capital