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
databases architecture patterns AI Skills
Discover databases architecture patterns skills, compare source repositories and read the instructions for each workflow.
Categories: databases architecture patterns
databases architecture patterns Clear filters
Browse skills
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
GitHub
invariant-set
Sets preserved by the flow
☆ 5View skill
GitHub
worlding
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
☆ 5View skill
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
☆ 5View skill
GitHub
goblins
Distributed object capability system (6.5K lines info).
☆ 5View skill
GitHub
mcp-tripartite
MCP tripartite integration for orchestrating distributed tool protocols
☆ 5View skill
GitHub
bmorphism-diagrams
bmorphism Diagrams
☆ 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.