A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW - View it on GitHub