Is there any option to download files?

No

You can not download these files, the server executes them and you get the output. You could try asking the owners nicely (perhaps they believe in open source) otherwise you would need to hack the server to get them.