Add server.py, mysphinx.py