"{\"abs_path\":\"/Users/samer/src/imandra/code-logician/src/code_logician_server/.cl_server\",\"strategy_paths\":[\"/Users/samer/src/imandra/code-logician/data/sample_math_lib\"],\"config\":{\"debug\":true,\"host\":\"127.0.0.1\",\"port\":8000,\"mcp\":true,\"strategy_configs\":{}}}"