A Minimal Agent for Automated Theorem Proving. - Borja Requena Pozo; Austin Letson; Krystian Nowakowski; Izan Beltran Ferreiro; Leopoldo Sarra (CoRR, 2026)