This is description is built in alloy and formally describes the GHCli android tool for controlling github account. You can find the tool source code here.

To run the descriptor, make sure you have java installed in a version greater than 6. Also, download the alloy executable here.

To execute alloy interface, run:

$ java -jar alloy*.jar

Then click Open > Naviagte to ghcli.als

Now click Execute > Instance and you will see the execution of show for 6.