Links for apalache-rpc-client