GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
☆ 5View skill
lifestyle architecture patterns AI Skills
Discover lifestyle architecture patterns skills, compare source repositories and read the instructions for each workflow.
Categories: lifestyle architecture patterns
lifestyle architecture patterns Clear filters
Browse skills
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
GitHub
slowtime-mcp
Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.
☆ 5View skill
GitHub
soliton-detection
Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition
☆ 5View skill
GitHub
world-runtime
Firecracker microVM + Morph Infinibranch WorldRuntime for parallel verse execution. Entities branch/snapshot in
☆ 5View skill
GitHub
gf3-tripartite
GF(3) Tripartite Orchestration
☆ 5View skill
GitHub
recursive-string-diagrams
recursive-string-diagrams
☆ 5View skill
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5View skill
GitHub
type-inference-validation
Static type inference and validation for navigation paths
☆ 5View skill
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5View skill
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
☆ 5View skill
GitHub
unison
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
☆ 5View skill
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
☆ 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.