idris-ide-client (npm): A library for talking to the Idris IDE.
Keywords: idris