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.
浏览 plurigrid 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。
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
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。