altcomp/dev: links for socrates-cli