Hemidactylus frenatus wäre der korrekte Name.
Kornnattern sind ja aber keine alleinigen Echsenfresser - eine ausschließliche Ernährung mit Geckos könnte also zu Mangelerscheinungen führen.
Das wäre das eine.
Weiterhin wäre es möglich, dass sie entweder die Geckos garnicht annehmen, oder wenn, sie so gern mögen, dass sie alles andere verweigern.
Liegt dann ein Mangel beim Tier vor, oder du bekommst keine Echsen als Nachschub mehr, hast du ein Problem.
Zudem wird eine adulte Kornnatter gut und gerne 3-6 von diesen kleinen Geckos fressen müssen, bis sie satt ist, und ein Gecko hat beileibe nicht soviel an Eiweiß und Fett wie eine Maus.
Eine eigene Zucht lohnt da überhaupt nicht - ein Weibchen legt 1-2 Eier alle 4-6 Wochen, insgesamt vielleicht 6mal im Jahr.
Dein Kollege hat eine eigene Zucht? Dann hat er sicherlich sehr, sehr viele dieser Tiere - und wird auf Dauer sicherlich nicht kostenlos abgeben.
Hausgeckos sind teurer als Mäuse - ab etwa 2,50 das Tier.
Sind die Geckos WF, würde ich ganz von einer Verfütterung absehen.
Viele Parasiten sind von Echsen auf Schlangen übertragbar - so z.B. Kokzidien, Cryptos...etc.
Und WF sind eigentlich immer voll mit diversen Begleitern, auch äußerlichen wie Milben und Zecken - und inneren wie Würmern und Einzellern.
Nebenbei sind auch Küken als alleiniges Futter nicht geeignet, da sie nach Erfahrung anderer Halter auf Dauer zu Mangelerscheinungen bei der Schlange führen.
Insgesamt - ich würde dir davon eher abraten.
Wenn die Geckos aus privater Zucht stammen, gib ab und an welche, evtl. sogar 50-50, aber ausschließlich würde ich nicht machen.