Access the Raspberry Pi's GPIO pins through RESTful JSON and socket.io