Let $p:(\tilde{X},y)\rightarrow (X,x)$ be the universal cover of a CW-complex $X$. If $x$ is the only $0$_cell, then every $1$-cell has a unique lift to the universal cover having $y$ as its initial point, and these lifts form a basis for the $1$-chains over the group ring of $\pi_1(X,x)$. The Fox derivative is an axiomatization of the computation of the boundary of a two cell lifted to $\tilde{X}$ so that its initial point in a corresponding relator is $y$.
If you have more $0$-cells then the $1$-skeleton gives you information about the fundamental groupoid of $X$ restricted to the points which are the $0$-cells. As you want data about fundamental group, you could choose a maximal tree in the $1$-skeleton of $X$. The generators of $\pi_1(X)$ correspond to the edges of the $1$-skeleton that aren't in the tree. You can associate a relator to each two cell by keeping track of what order, and in what direction its boundary crosses those edges. The Fox Calculus should now work, because you could alternatively collapse the tree to a point, and not change the homotopy type of the $CW$-complex.
To compute the first homology of any cover as a module over $\mathbb{Z}$[\pi_1(X)]$you just need to interpret the answer in the universal cover in the appropriate cover. To effect your general proof of invariance, you just need to produce change of basis matrices corresponding to changing trees, and doing elementary moves on the two complex. To avoid the cell complex use group cohomology. If$M$is a left$R[G]$-module a crossed homomorphism is a map$\phi:G\rightarrow M$satisfying$\phi(xy)=\phi(x)+x.\phi(y)$for any$x,y\in G$. The crossed homomorphisms are an$R$-module. A principle crossed homomorphism is one of the form$\phi(g)=v-g.v$for some$v\in M$. The quotient of the crossed homomorphisms by the principle homomorphsisms is$H^1(G,M)$. You are interested in this when$G=\pi_1(X)$and$M=H_1(X)$. Given a presentation of your group, with generators$x_i$and relators$r_j$, there is a presentation of the crossed homomorphisms, as those crossed homomorphisms on the free group generated by the$x_i$that annihilate the relators. It can be shown that the space of crossed homomorphisms on the free group are generated as an$R[F(x_i)]$module by the Fox partial derivatives, and you are off and running, as you are really just interested in calculuating group cohomology. 1 Let$p:(\tilde{X},y)\rightarrow (X,x) $be the universal cover of a CW-complex$X$. If$x$is the only$0$_cell, then every$1$-cell has a unique lift to the universal cover having$y$as its initial point, and these lifts form a basis for the$1$-chains over the group ring of$\pi_1(X,x)$. The Fox derivative is an axiomatization of the computation of the boundary of a two cell lifted to$\tilde{X}$so that its initial point in a corresponding relator is$y$. If you have more$0$-cells then the$1$-skeleton gives you information about the fundamental groupoid of$X$restricted to the points which are the$0$-cells. As you want data about fundamental group, you could choose a maximal tree in the$1$-skeleton of$X$. The generators of$\pi_1(X)$correspond to the edges of the$1$-skeleton that aren't in the tree. You can associate a relator to each two cell by keeping track of what order, and in what direction its boundary crosses those edges. The Fox Calculus should now work, because you could alternatively collapse the tree to a point, and not change the homotopy type of the$CW$-complex. To compute the first homology of any cover as a module over$\mathbb{Z}$[\pi_1(X)]$ you just need to interpret the answer in the universal cover in the appropriate cover.