Yep, "Seeding files" is an extension: https://app.codecrafters.io/vote/challenge-extension-ideas?c.... Not supported yet, but will be available soon (we add new extensions based on user votes)