Direct proof of the second Bianchi identity Let $X$,$Y$,$Z$,$W$ be vector fields on a riemannian manifold, and let $R(X,Y)W$ be the riemannian curvature:
$$ R(X,Y)W = \nabla_{X}\nabla_{Y}W - \nabla_{Y}\nabla_{X}W - \nabla_{[X,Y]}W $$
Let $g$ be the metric tensor and $\tau$ be the torsion (which I assume to be zero as usual):
$$ \tau(X,Y) = \nabla_{X}Y - \nabla_{Y}X - [X,Y] = 0 $$
With this setting, I want to prove the Second Bianchi Identity:
$$ \nabla_{X} R(Y,Z)W + \nabla_{Z}R(X,Y)W + \nabla_{Y}R(Z,X)W = 0 $$
Now, most proofs I have found seem to rely heavily on index notation and/or using some special frame of reference to simplify the computations. However, I'd like to have a more straightforward proof, that:
1) Uses index-free notation for all tensors involved.
2) Depends only in the abstract properties of the covariant derivative, the torsion and the symmetries of the curvature tensor (including the first Bianchi identity)
How can I proceed to obtain such a proof? 

The proof you are looking for is here: http://www.math.ucla.edu/~petersen/Bianchi_Ricci_Identities.pdf
It has the advantage (which is what I suspect you are interested in) of isolating precisely how the various symmetries/algebraic properties are used in the proof.
The proof follows by iterating the Ricci identities and using the first Bianchi identity. The first Bianchi identity is obtained by taking the Lie derivative of the connection - an idea that goes back at least to Yano, Bochner and/or Kostant some time around the 50's ([1,2]). Of course, the Jacobi identity plays a central role and it turns out the by reversing the argument, one could prove the Jacobi identities from the Bianchi identity.
There is no need to choose any frames, or extend vectors in any particular way which is something I find appealing. Any other proof is secretly using identities such as Jacobi by building it in to the chosen local frame and using tensorality.
Edit: See (Kostant is much easier to read!)


*

*K. Yano and S. Bochner, Curvature and Bette numbers, Annals of Mathematics Studies, no. 32, Princeton, 1953.

*Bertram Kostant, Holonomy and the lie algebra of infinitesimal motions of a riemannian manifold, Trans. Amer. Math. Soc. 80 (1955), 528–542. 

