A weather-prediction bot that forecasts city temperatures from a 122-member ensemble and trades Polymarket's daily temperature markets.