Oh, and one more thing that nobody’s brought up:
There was ambiguity in the Combinatorics game about whether programs that allow you to mathematically prove mechanical stuff in mafia are allowed. Zug was working on a program that would look for the optimal series of jails to solve Combinatorics, for example.
I think these should just obviously be allowed??? It’s just doing math on setups, it usually happens pre-game, it’s not alignment-indicative, it doesn’t “break the spirit of the game”, it’s completely impossible to ban because “having solved a setup” isn’t an activity that happens on FoL, plenty of established setups have had this math done on them in similar ways. But others were saying they weren’t, because they fell under the “AI programs” rule, and apparently Litten was previously moderated for using such a program in a misc.
The legality of such Mathdoings should probably be explicitly noted somewhere.