A Bluesky bot that mainly lets you play puzzles based on those from The Witness (but can also do things like solve linear congruences and evaluate expressions). Just tag the bot and speak commands, and it will respond! (Command syntax in the pinned post)
The backend logic for the witness puzzles is this repo: https://github.com/WW92030-STORAGE/WITNESS_CLONE_II
The rest of it is just simple mathematical algorithms and library calls.