singlefile_mcp_server
