TheoryOverflow seems the right name. None of the variants com/net/org is taken; I would therefore prefer theoryoverflow.org if possible.
cstheoryoverflow.org is also still available, but I feel since we are the first ones to use theory (without the cs), this is our chance to keep it out of the hands of the postmodernists.