Is there a way to run multiple stateful MCP servers?

从 StatefulSessionManager 以及 issue 中显示的 ISessionStorage、SessionMiddleware 和 MapMcp 入口点开始。跟踪会话 ID 如何在多个服务器实例之间存储和检索，然后确定需要怎样的共享存储行为，才能让多个有状态 MCP 服务器不再产生 "Session id not found" 错误。

As the title says, is there anyway to operate multiple stateful MCP servers without running into "Session id not found" errors?

It looks like the "session id not found" error stems from caching session ids in an in-memory dictionary in StatefulSessionManager. Is there a way in the API to, may be, swap that with Redis or use AspNetCore's default session management with a shared cache with the MCP server?

Something along the lines of (which is not working at the moment)

class Program
{
    static void Main(string[] args)
    {
        var builder = WebApplication.CreateBuilder(args);

        builder.Services.Configure<SessionSettings>(
            builder.Configuration.GetSection(SessionSettings.SectionName));

        var sessionConfig = builder.Configuration
            .GetSection(SessionSettings.SectionName)
            .Get<SessionSettings>() ?? new SessionSettings();

        if (sessionConfig.StorageType.Equals("Redis", StringComparison.OrdinalIgnoreCase))
        {
            if (string.IsNullOrEmpty(sessionConfig.RedisConnectionString))
                throw new InvalidOperationException("Redis connection string is required");
            builder.Services.AddSingleton<ISessionStorage>(_ =>
                new RedisSessionStorage(sessionConfig.RedisConnectionString));
        }

        builder.Services.AddMcpServer()
            .WithHttpTransport()
            .WithToolsFromAssembly();

        var app = builder.Build();

        app.UseMiddleware<SessionMiddleware>();
        app.MapMcp();
        app.Run("http://localhost:3000");
    }
}