Suppose $E$ is an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at a prime $p$. Then one can define nonnegative integers $ \lambda_{E}^{alg} $, $ \mu_{E}^{alg} $, $ \lambda_{E}^{an} $ and $ \mu_{E}^{an} $.

The "algebraic" Iwasawa invariants $ \lambda_{E}^{alg} $ and $ \mu_{E}^{alg} $ are defined in terms of the structure of the $p$-primary subgroup $ Sel_{E}(\mathbb{Q}_{\infty})_{p} $ of the Selmer group for $E$ over the cyclotomic $ \mathbb{Z}_{p} $-extension $ \mathbb{Q}_{\infty} $ of $\mathbb{Q}$. The definition of the "analytic" invariants $ \lambda_{E}^{an} $ and $ \mu_{E}^{an} $ is in terms of the $p$-adic $L$-function for $E$ constructed by Mazur and Swinnerton-Dyer.

Now the Main Conjecture (Mazur) implies that $ \mu_{E}^{alg}=\mu_{E}^{an} $ and $ \lambda_{E}^{alg}=\lambda_{E}^{an} $. I want to know

1) What are the results proved till now towards proving the Main Conjecture $?$

2) For a particular elliptic curve over $\mathbb{Q}$ having good ordinary reduction at a prime $ p $, are there any methods to check that it satisfies the Main Conjecture $?$

EDIT: Prof. D Loeffler has mentioned that the main conjecture is now a theorem if the image of the mod $p$ Galois representation of $E$ is the whole of $GL_2(\mathbf{F}_p)$. But what happens if the residual representation of $E$ is not irreducible and $E$ has a $p$-isogeny $?$