@runin@lamp.leemoon.network была такая же ситуация. Думал, что у opentofu хотя бы доступен registry. Там, кстати, большой срач в issues на GitHub