Pro-nilpotently extended dgca-s and SH Lie-Rinehart pairs

Category of pro-nilpotently extended differential graded commutative algebras is introduced. Chevalley-Eilenberg construction provides an equivalence between its certain full subcategory and the opposite to the full subcategory of strong homotopy Lie Rinehart pairs with strong homotopy morphisms, consisting of pairs $(A,M)$ where $M$ is flat as a graded $A$-module. It is shown that pairs $(A,M)$, where $A$ is a semi-free dgca and $M$ a cell complex in $\text{op}Mod(A)$, form a category of fibrant objects by proving that their Chevalley-Eilenberg complexes form a category of cofibrant objects.