See 

[Forcing for IZF in sheaf toposes](https://www.researchgate.net/publication/228380851_Forcing_for_IZF_in_sheaf_toposes)

Also 

[Toposes from Forcing for Intuitionistic ZF with Atoms.](https://arxiv.org/abs/1702.03399)