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.
Browse published AI skills maintained by plurigrid. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
639Repository stars across indexed skills
3,235Repository forks
1,917Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
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.
Möbius inversion for Gay.jl color duality - closes sparsification spine gap
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity, decentralization, documentation, MEV risk...
Moth's Actias quantum synth for qubit sonification with Bloch sphere visualization and MIDI control
Hinton's Forward-Forward algorithm for local learning without backpropagation.
Radare2 Hatchery
Dialectica Skill (ERGODIC 0)
Qualitative behavior of solutions near equilibria
Google Calendar management via CalendarACSet. Transforms scheduling operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for balanced-calendar-as-condensed-state.
Skill Bonds Registry
Reverse Engineering Skill
Agent Skills formal specification for cross-platform compatibility. Ensures skills are evolutionarily robust across Claude, Codex, Cursor, Amp, and future agents.
Categorical Rewriting: Triad 4 (World Transformation)
Use macOS text-to-speech for agent narration and announcements. Sub-agents announce themselves using different language voices speaking English. Use for multi-agent workflows where each agent has a distinct voi...
Maximum velocity MCP execution via geodesic untangling. Maoist self-criticism for why slowtime was ever necessary. Topological cybernetic feedback for ongoing tour discovery.
Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving
OPAM package manager for OCaml. Switch management, dependency resolution, and OCaml toolchain.
Buberian Relations Skill
oapply operad algebra evaluation via colimits with Specter-style composition patterns
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
Extract hidden Amp API patterns from local thread data via DuckDB analysis
JavaScript and TypeScript development with ES6+, Node.js, React, and
Graph Grafting Skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.