ethereum/EIPs ? reverse-engineered prompt