Wilf-Zeilberger seeds and non-trivial hypergeometric identities

Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1\mathrm{/}{\pi }^4$, one $1\mathrm{/}{\pi }^3$ formulas as well as a remarkable series for $\zeta (5)$.