We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms \(f(k, a, b, \ldots )\) with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo \(p\) and \(p^2\) for primes \(p > 2\) . For instance, we prove that for any prime \(p > 2\) , \(\begin{aligned} \sum _{n=0}^{p-1} \frac{10n+3}{2^{3n}}\left( {\begin{array}{c}3n\\ n\end{array}}\right) \left( {\begin{array}{c}2n\\ n\end{array}}\right) ^2 \equiv 0 \pmod {p}, \end{aligned}\) and \(\begin{aligned} \sum _{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\left( {\begin{array}{c}2n\\ n\end{array}}\right) ^5 \equiv 0 \pmod {p^2}. \end{aligned}\) These results partially confirm conjectures by Sun and provide some novel congruences.
