Agent Skills: 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.

UncategorizedID: plurigrid/asi/topos-catcolab

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/topos-catcolab

Skill Files

Browse the full folder contents for topos-catcolab.

Download Skill

Loading file tree…

Select a file to preview its contents.