The problem is that when we reduce the curve equation $y^2=x^3+7$ modulo 7, we get the equation $y^2=x^3$ which is not counted as an elliptic curve. The technical term for this is that the rational curve $y^2=x^3+7$ has "bad reduction" at the prime 7.
The reason that curves of the form $y^2=x^3$ are not elliptic curves is because they are not "smooth". This means that they have a special singular point that does not behave well. Roughly speaking this means that tangent lines at that point are not well-defined (which in particular means the doubling rule on the curve does not make sense at that point). In this case the singular point is $(0,0)$ which is a cusp. (Bad) reduction to this sort of curve is called additive reduction because there is a group law on the non-singular points, but it is the same as the additive group of the finite field. In this case, the group is the same as addition modulo 7. The isomorphism between the groups is easy: an $t\neq 0$ integer mod 7 goes to the point $(t^{-2},t^{-3})\mod 7$ and 0 goes to the point at infinity. Likewise the inverse map sends the point $(x,y)$ to the integer $x/y\mod 7$.
For a relatively gentle account of the group law on singular (non-smooth) cubics, I'd recommend Chapter 9 of "Elliptic Tales" by Ash and Gross, which is very easy on the reader with little background in algebraic geometry.