There’s focalboard (if you can get past the weird license): https://www.focalboard.com/

Or you can use Gitea: https://gitea.io/ It’s mostly meant for collaboration on source code but it has a ticketing system with boards.

How many real teachers per student though? Is this just an excuse to have even less human support, because “we have 10 AIs per student”?

What does a ratio even mean in this case, the AIs are not separate.

It’s called “bcachefs”