  We establish a criterion for sheaves on an adically complete DG scheme to be
coherent. We deduce a description of coherent sheaves on an adically complete
lci singularity in terms of modules for a DG Lie algebra.
