Data generation and training repository for SERA: Soft-Verified Efficient Repository Agents. - View it on GitHub