Currently there are 3 native Wideangle Fisheye Prime lenses for Pentax K-S1 and 1 of these lenses are autofocus (AF) type.
K-S1 also has a sensor based image stabilization system which means that all of these lenses will be stabilized when used on K-S1.