JSON-RPC server and client, written in Python using Twisted