Mnehmos/MathOS is 236 source files holding 4,437 symbols across 9 modules, written mainly in markdown, json, rust. The largest module is docs, with 86 files, and 6 files are entry points into the dependency graph.