loading remote libraries

Is there any way to load a library from a URL? If not, could Singular developers extend the syntax?

I would like to use Singular inside sagecell (see sagecell.sagemath.org/) and I need the newest version of grobcov library.

Thanks.

No, but as a workaround you can use system("sh", "wget...") or similar.