I checked, just to be sure. Behind the scenes you are mining whatever coin happens to be the most profitable at the time. Eobot then pays you in your preferred crypto for your hashing contribution to their mining effort.
Even so, if a lot of people were to take this path, it would create significant buy pressure for GRC. Nothing wrong with that - just no direct contributions to science.