Unfortunately, the claim is not provable in ZF.
It is relatively consistent with ZF that there is an infinite Dedekind-finite set of reals, an infinite set of reals $X$ with no countably infinite subset. This set of reals forms a metric space with the usual metric, and it cannot be separable, because it has no countably infinite subset (and no finite subset of an infinite metric space can be dense).
Meanwhile, such an $X$ has your limit point property. To see this, suppose $Y\subset X$ is infinite, but has no limit point in $X$. In particular, every point $y\in Y$ is isolated in $Y$, and therefore we may pick a rational interval neighborhood $(q_x,r_x)$ of $y$ containing no other points from $Y$ except for $y$ itself. We do not need AC to pick this interval, since we may enumerate the rational intervals and pick the first one with this property. Further, each $y\in Y$ gives rise to a distinct such interval. Thus, we have an injective map from $Y$ to the set of rational intervals, and from this it follows that $Y$ is countable, contradicting our assumption that $X$ has no countably infinite subset.
Note that $X$ also serves as a metric space that is limit-point compact but not compact. We've already shown that it is limit-point compact. But $X$ is not compact because we may simply pick any real $z\notin X$ that is a limit point of $X$, and then use the rational approximations to $z$ to produce an open cover of $X$ with no finite subcover, consisting of intervals straddling these approximations. Thus, ZF (if consistent) does not prove that limit-point-compact metric spaces must be compact.