TOI-1235 is a cool M-dwarf (about 0.63 solar masses, 3,997 K, 0.62 solar radii), 39.6 light-years from Earth. TOI-1235 b is a 6.7-Earth-mass planet, with an orbital period of 3.4 days, discovered in 2020 via transit. The planet was found when it crossed the face of its star, producing periodic dips in brightness that reveal its size and orbital period to space-based photometry. At 1.7 Earth radii, TOI-1235 b is a compact world comparable in size to rocky planets in our Solar System. Its low mass makes TOI-1235 b a Neptune- or super-Earth-class world rather than a gas giant.