GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints,
☆ 5View skill
documentation architecture patterns AI Skills
Discover documentation architecture patterns skills, compare source repositories and read the instructions for each workflow.
Categories: documentation architecture patterns
documentation architecture patterns Clear filters
Browse skills
GitHub
dynamic-sufficiency
Causal state gating via ε-machine. Coworld observer that prevents action
☆ 5View skill
GitHub
lasalle-invariance
Invariance principle for asymptotic stability
☆ 5View skill
GitHub
triadic-skill-orchestrator
Orchestrates multiple skills in GF(3)-balanced triplets. Assigns MINUS/ERGODIC/PLUS trits to skills ensuring conservation. Use for multi-skill workflows, parallel skill dispatch, or maintaining GF(3) invariants...
☆ 5View skill
GitHub
entropy-sequencer
Layer 5: Interaction Interleaving for Maximum Information Gain
☆ 5View skill
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
☆ 5View skill
GitHub
constraint-generalization
Generalization and composition of constraints across navigators
☆ 5View skill
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5View skill
GitHub
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.
☆ 5View skill
GitHub
concatenative
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
☆ 5View skill
GitHub
categorical-rewriting-triad4
Categorical Rewriting: Triad 4 (World Transformation)
☆ 5View skill
GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
☆ 5View skill
GitHub
signal-isolated-auth
Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.
☆ 5View skill
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
☆ 5View skill
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5View skill
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
☆ 5View skill
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
☆ 5View skill
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
☆ 5View skill
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
☆ 5View skill
GitHub
derangement-crdt
Derangement-CRDT Skill
☆ 5View skill
GitHub
tripartite-decompositions
GF(3)-balanced structured decompositions for parallel computation. Decomposes problems into MINUS/ERGODIC/PLUS components with sheaf-theoretic gluing. Use for FPT algorithms, skill allocation, or any 3-way para...
☆ 5View skill
GitHub
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breakin...
☆ 5View skill
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
☆ 5View skill
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
☆ 5View 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.