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.
Explorez les skills IA publiés de plurigrid et consultez leurs instructions source.
Skills indexés
639Étoiles des dépôts des skills indexés
3,235Forks du dépôt
1,917Moyenne des étoiles par skill indexé
5Les étoiles d’un dépôt peuvent se répéter entre ses skills.
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
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.