If your question was to me, my original Captain Lucky seeds were from Steve at Heritage Tomato Seed (
https://heritageseedmarket.com/index...e-tomato-seed/), but he doesn't appear to be offering it at the moment.
Fred at Artisan Seeds, who posts here regularly and has developed some great varieties, offers it:
https://store.growartisan.com/product/captain-lucky.
I think some other vendors offer it also, but my experience with the two mentioned have always been great.