Fun! Good luck.

This is an admirably ambitious project. I'm not sure why it needs to be an OS, when the three components don't seem to have much to do with each other. You might get more traction pitching this as 3 separate projects.

Quick question. Does it use LaTeX or TeX for math input? Or does it use a DSL at the shell to interact with the LLM? Can you swap out LLMs if needed?

I don’t want to be rude. This is a very nice project. But it looks like this could be replaced by going to therapy.