Such an "étale universal cover" exists at least if $X$ is Noetherian and geometrically unibranch (and for all qcqs $X$ if one considers profinite étale homotopy types). **Background.** I will regard the étale homotopy type of a scheme as an object in the $\infty$-category $\mathrm{Pro}(\mathcal S)$ of pro-spaces. In the $\infty$-category $\mathcal S$, the universal cover of a pointed space $(X,x)$ can be characterized as the initial object in the $\infty$-category of pointed $0$-truncated morphisms to $(X,x)$ (i.e., morphisms with discrete fibers). Similarly, one can define $0$-truncated morphisms in $\mathrm{Pro}(\mathcal S)$, and every pointed object admits a universal cover. References for the étale homotopy type and for $n$-truncated/$n$-connected morphisms in $\mathrm{Pro}(\mathcal S)$ are Sections E.2 and E.4.2 in [Spectral Algebraic Geometry](https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf). Let $\mathcal S_{<\infty}$ be the $\infty$-category of truncated spaces and let $\mathrm{Et}\colon \mathrm{Sch} \to \mathrm{Pro}(\mathcal S_{<\infty})$ be the [protruncated étale homotopy type](https://arxiv.org/pdf/1812.11637.pdf), which is the homotopy-coherent incarnation of the construction of Artin and Mazur. Under the equivalence $$\mathrm{Pro}(\mathcal S_{<\infty}) \simeq \mathrm{Fun}^\mathrm{acc,lex}(\mathcal S_{<\infty},\mathcal S)^\mathrm{op},$$ $\mathrm{Et}(X)$ is the functor $\mathcal S_{<\infty}\to\mathcal S$ sending a truncated space $K$ to the global sections $\Gamma(X_\mathrm{et},K)$ of the constant étale sheaf on $X$ with value $K$. **Construction.** Let $X$ be a scheme with a geometric point $x\colon \operatorname{Spec} k\to X$, with $k$ separably closed. Consider the category $\mathrm{FEt}(X,x)$ of pointed finite étale covers of $X$, that is, factorizations of $x$ through a finite étale morphism $X'\to X$. This category has finite limits and in particular is cofiltered (it is also essentially small). Thus, the limit $\tilde X$ of the forgetful functor $$ \mathrm{FEt}(X,x) \to \mathrm{Sch}_{/X} $$ exists (note that $\tilde X$ depends on $x$, so the notation is abusive). This is a natural candidate for the "universal cover" of $(X,x)$. Now, the statement that $\mathrm{Et}(\tilde X)\to\mathrm{Et}(X)$ is the universal cover of the pointed pro-space $(\mathrm{Et}(X),x)$ is equivalent to the following three conditions: 1) the map $\mathrm{Et}(\tilde X)\to\mathrm{Et}(X)$ is $0$-truncated, 2) $\mathrm{Et}(\tilde X)$ is connected, and 3) $\pi_1^\mathrm{et}(\tilde X,x)$ is trivial. **Results.** 1\) always holds if $X$ is quasi-compact and quasi-separated. First, I claim that the functor $\mathrm{Et}$ preserves the limit of the diagram defining $\tilde X$. Under the above equivalence of $\infty$-categories, this is the statement that for $K$ a truncated space, $\Gamma((-)_\mathrm{et},K)$ transforms this limit into a colimit, which is a standard property of étale cohomology with respect to inverse limits of qcqs schemes. [Here it is important that $K$ is truncated, otherwise this may not be true.] Then, if $p\colon X'\to X$ is finite étale, I claim that the morphism $\mathrm{Et}(p)\colon \mathrm{Et}(X')\to \mathrm{Et}(X)$ is $0$-truncated. In fact, it is the pullback of a morphism of groupoids $\pi\colon\Xi'\to\Xi$ with finite discrete fibers. To see this, note that the morphism of étale $\infty$-topoi induced by $p$ is itself the pullback of such a morphism $\pi$. The point is then that for any space $K$, $\Gamma(X'_\mathrm{et}, K)$ is $\Gamma(X_\mathrm{et},p_*K)$ and $p_*K$ is a locally constant sheaf on $X$ in a strong sense: it is the pullback of the sheaf $\pi_*K$ on $\Xi$ (the fact that the fibers of $\pi$ are finite spaces is used here, to commute the pushforward with the pullback). One can thus apply Proposition 2.15 in [Higher Galois theory](http://www.mathematik.ur.de/hoyois/papers/highergalois.pdf) to compute $\Gamma(X_\mathrm{et},p_*K)$ in terms of the étale homotopy type of $X$. Unpacking this formula gives $\mathrm{Et}(X')=\mathrm{Et}(X)\times_\Xi\Xi'$. [Here, $K$ need not be truncated, so $p$ induces a $0$-truncated morphism on actual étale homotopy types, and $X$ need not even be qcqs.] Finally, since $0$-truncated morphisms are stable under limits, $\mathrm{Et}(\tilde X)\to\mathrm{Et}(X)$ is also $0$-truncated. 2\) also holds if $X$ is qcqs. In this case $\tilde X$ is connected, as any clopen subset of $\tilde X$ lifts to a clopen subset of some finite étale $X'\to X$. 3\) holds if we assume moreover that the pro-group $\pi_1^\mathrm{et}(X,x)$ is profinite, e.g., $X$ is Noetherian and geometrically unibranch. Then $\pi_1^\mathrm{et}(\tilde X,x)$ is also profinite by 1), so 3) is equivalent to the statement that every finite étale cover of $\tilde X$ is trivial, which holds by construction. Note that the additional assumption for 3) is not needed if we pass to the profinite completions. That is, if $X$ is qcqs, then $\mathrm{Et}(\tilde X)^\wedge \to \mathrm{Et}(X)^\wedge$ is the universal cover of the profinite étale homotopy type $(\mathrm{Et}(X)^\wedge,x)$. **Example.** Let $X=\mathbb G_m$ over a field $k$ of characteristic zero, pointed at $1$ by an algebraic closure $\bar k$ of $k$. Then $\tilde X=\operatorname{Spec}\bar k[t^{\pm 1}][t^{1/n}, n\geq 2]$.