Somewhat related: I just learned of an Open Source rival to StackExcange by the name of Codidact. [0] Looks like they have an active math subdomain. [1]

[0] https://codidact.org/

[1] https://math.codidact.com/