Currently there are 2 native Wideangle Fisheye Prime lenses for Sony A7 IV and none of these lenses are autofocus (AF) type.
A7 IV also has a sensor based image stabilization system which means that all of these lenses will be stabilized when used on A7 IV.