Thinfinity Workspace - Account Allocation Backend

Thinfinity Workspace is already live on my server; what I lack is the logic that decides which of the ten licensed Thinfinity accounts an incoming user should occupy. I want this handled automatically: the moment a user authenticates with a simple username-and-password form, the backend must look for the first idle Thinfinity account, bind the session to it, and release that binding as soon as the session ends.

A small control layer is therefore needed—written in Python or C#—that can
• keep a lightweight registry of the ten accounts and their states (free / in-use),
• expose a REST or WebSocket endpoint that Thinfinity or a small web front-end can call during login/logout,
• enforce the “first available” rule every time without race conditions, and
• fall back gracefully (e.g., display a queue or “all seats taken” message) when no account is free.

I’ll provide SSH/RDP access to the current server plus Thinfinity admin credentials. The finished solution should run as a service on Windows Server, include well-commented source, and come with a short README so I can redeploy or tweak it later.

Important and very helpful is knowledge of Thinfinity Workspace and very good knowledge of english language.