We prove a common strengthening of Bárány's colorful Carathéodory theorem and the KKMS theorem. In fact, our main result is a colorful polytopal KKMS theorem, which extends a colorful KKMS theorem due to Shih and Lee [Math. Ann. 296 (1993), no. 1, 35--61] as well as a polytopal KKMS theorem due to Komiya [Econ. Theory 4 (1994), no. 3, 463--466]. The (seemingly unrelated) colorful Carathéodory theorem is a special case as well. We apply our theorem to establish an upper bound on the piercing number of colorful d-interval hypergraphs, extending earlier results of Tardos [Combinatorica 15 (1995), no. 1, 123--134] and Kaiser [Discrete Comput. Geom. 18 (1997), no. 2, 195--203].