topos-catcolab
Topos Institute's CatColab for collaborative category theory - community model building, double theories, stock and flow epidemiology, and real-time collaborative diagramming via Automerge CRDT.
Also installable via skills CLI
npx skills add plurigrid/asi/skills/topos-catcolab