It is a classical fact (e.g. [here](http://ncatlab.org/nlab/show/topos+of+algebras+over+a+monad#ToposProperty)) that for an (accessible) right adjoint comonad on a (sheaf) topos, its Eilenberg-Moore category of coalgebras is itself a (sheaf) topos.

I suppose this remains true for $\infty$-toposes, for hypercomplete $\infty$-stack $\infty$-toposes at least? (But not assuming that the comonad is idempotent.)