GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
derangement-crdt
Derangement-CRDT Skill
☆ 5View skill
GitHub
duckdb-quadruple-interleave
Chaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.
☆ 5View skill
GitHub
bifurcation-generator
Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.
☆ 5View skill
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5View skill
GitHub
playwright
Browser automation via Playwright MCP. Use for web scraping, taking screenshots, interacting with web pages, testing web UIs, and automating browser tasks. Headless browser support.
☆ 5View skill
GitHub
lyapunov-function
Scalar function decreasing along trajectories
☆ 5View skill
GitHub
hopf
Bifurcation creating limit cycle from equilibrium
☆ 5View skill
GitHub
sarif-parsing
Parse, analyze, and process SARIF (Static Analysis Results Interchange Format) files. Use when reading security scan results, aggregating findings from multiple tools, deduplicating alerts, extracting specific...
☆ 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
splitmixternary-opine
Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.
☆ 5View skill
GitHub
ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth
☆ 5View skill
GitHub
alife
Comprehensive Artificial Life skill combining ALIFE2025 proceedings,
☆ 5View skill
GitHub
triangle-metrics
Triangle Metrics Skill
☆ 5View skill
GitHub
theme-factory
Toolkit for styling artifacts with a theme. These artifacts can be slides,
☆ 5View skill
GitHub
attractor
Invariant set attracting nearby trajectories
☆ 5View skill
GitHub
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal
☆ 5View skill
GitHub
nerv
NERV - Rapid LocalSend Test with Voice
☆ 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
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.
☆ 5View skill
GitHub
skill-creator
Guide for creating effective skills. Use when users want to create a
☆ 5View skill
GitHub
slime-lisp
SLIME integration for Common Lisp development
☆ 5View skill
GitHub
plurigrid-asi-integrated
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
☆ 5View skill
GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
☆ 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.