stdioserverparameters github