lean-script (analog of cargo-script)?

Stream: lean4

[Alok Singh]

https://rust-lang.github.io/rfcs/3424-cargo-script.html

i was wondering about just this a few days ago, since uv in python allows this too and it's mighty convenient, knocking the last bit of resistance to writing things in any language.

how feasible would a lean version of this be? cargo's version is not done, uv's is. could it be done as a lake plugin?