Blackmagic PYXIS 12K has a Leica L lens mount and currently there are 146 native lenses available for this mount.
The latest released lenses that are compatible with the PYXIS 12K are the SG-image AF 35mm f2.2, the 7Artisans 135mm f1.8 L and the TTArtisan 50mm f1.8 NEO L.
Blackmagic PYXIS 12K doesn't have a sensor based image stabilization system but
17 of these lenses already comes with optical image stabilization.
Since Blackmagic PYXIS 12K has a Full frame sensor, it has a focal length multiplier of 1× so lenses will provide their original focal length on PYXIS 12K.
You may also also be interested in these:
Blackmagic PYXIS 12K Lenses with Image Stabilization
Blackmagic PYXIS 12K Lenses with Weather Sealings