Finding congruences with the WZ method

We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k,a,b,\dots )$ 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$, $$\sum _{n=0}^{p-1}\frac{10n+3}{2^{3n}}\left(\genfrac{}{}{0px}{}{3n}{n}\right){\left(\genfrac{}{}{0px}{}{2n}{n}\right)}^2\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p),$$ and $$\sum _{n=0}^{p-1}\frac{(-1{)}^n(20n^2+8n+1)}{2^{12n}}{\left(\genfrac{}{}{0px}{}{2n}{n}\right)}^5\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)\mathrm{.}$$ These results partially confirm conjectures by Sun and provide some novel congruences.