Lars Verified Repairs