SERA: Soft-Verified Efficient Repository Agents - Explained Simply | ArXiv Explained