asi-skills

Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

Hypothesis-Test Loops via REPL for Exploratory Abductive Inference

Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding papers, and academic research.

This skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and triggers mandatory user interview instead of accepting incomplete work. Activates automatically on any output containing forbidden tokens.

Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.

ACSets (Attributed C-Sets) for categorical database design and DPO rewriting

ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional

Active Interleave Skill

Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems

Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.

Creating algorithmic art using p5.js with seeded randomness and interactive

World ALICE Skill

Comprehensive Artificial Life skill combining ALIFE2025 proceedings,

Extract hidden Amp API patterns from local thread data via DuckDB analysis

Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.

Amp Team Usage

ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understanding agency at maximum entropy, compositional world modeling, or applying Scholze-Clausen condensed mathematics to AI.

Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation

Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions require explicit approval.

Aptos GF(3) Society Skill

Aptos Society: World Extractable Value (WEV) implementation via GayMove contracts. Path A vault-only multiverse finance with worldnet ledger for 26 Agent-O-Rama worlds. Deployed 2024-12-29 on Aptos mainnet.

Execute trades on Aptos mainnet with price-triggered profit-taking and dip-buying strategies. Includes wallet management, transaction signing, and DEX swaps via Liquidswap. Use when automating APT trading, checking balances, or executing swaps.

Aptos Wallet MCP Skill

Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving

IMO Gold Medal level Lean4 theorem proving via Harmonic API

Suite of tools for creating elaborate, multi-component claude.ai HTML

ASI Agent-O-Rama Skill

ASI skill integrating polynomial functors, free monad/cofree comonad

Lee Cronin's Assembly Theory for molecular complexity measurement and

Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.

Invariant set attracting nearby trajectories

Self-producing skill system combining ruler enforcement with skill self-evolution. Implements trifurcation-first imperative via nbb sexp invocation for idempotent agent instruction.

Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.

Clojure scripting without JVM startup.

Backend API design, database architecture, microservices patterns, and

🐟 Rust-native Fish shell-friendly file operations with Steel-backed SCI

BDD-Driven Mathematical Content Verification Skill

Behaviour Surprisal Analysis

Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence

Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.

Hopf bifurcation detection for dynamical system state transitions with GF(3) phase portraits

Time average of observable along trajectory

Bisimulation game for resilient skill dispersal across AI agents with

Go-based security techniques from "Black Hat Go" extended with macOS, Cloud, Mobile, IoT, Supply Chain, API, Web3, AI/ML, Red Team, ATT&CK, and LLM chapters. 186 techniques, 36 tools, 33 defenses across 37 chapters. Includes adversarial bisimulation games with Ungar (order-dependent) and join-semilattice structures. AAIF-compatible multiplayer agent games for human-agent security exercises.

Bluesky Jetstream Firehose Skill

bmorphism Diagrams

GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities.

bmorphism's GitHub stars (2155 repos) and created repos - a curated index

World BOB Skill

Babashka and ClojureScript runtime selection guidance by @borkdude

GF(3)-conserved distribution of Claude threads across Aptos worlds

Apply brand colors and typography to artifacts. Use when brand colors,

Browser History ACSet

Buberian Relations Skill

Sheaves on time categories for compositional temporal reasoning. Bumpus

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.

Binary visualization for human pattern recognition - Ghidra plugin by Chris Domas (xoreaxeaxeax)

Create beautiful visual art in .png and .pdf documents using design philosophy.

CapTP: Capability Transfer Protocol

Rust package manager and build system. Cargo commands, dependency management, and workspace patterns.

Rust package manager (36 subcommands).

cat Skill: Derivational Pipe Chaining

Categorical Rewriting: Triad 4 (World Transformation)

cats.for" (Categories for AI)

CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory

Sonify GF(3) color streams via CatSharp scale. Maps Gay.jl colors to pitch classes and plays through sox. Includes metairony mode and Hydra flow grokking.

Cat# Skill (ERGODIC 0)

Bengio's causal inference for AI: Interventional reasoning, counterfactuals, and System 2 deep learning. World models with causal structure.

Invariant manifold tangent to center eigenspace

Automatically creates user-facing changelogs from git commits by analyzing

Strange attractor with sensitive dependence on initial conditions

Cheapskate Skill

3 parallel agents explore codebase improvements via GF(3) balanced prime geodesics

CIDER integration for Clojure development with nREPL

Semantic embeddings for Clojure code navigation via CIDER

clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation

Clojure ecosystem = babashka + clj + lein + shadow-cljs.

Writing effective code documentation - API docs, README files, inline

Code refactoring patterns and techniques for improving code quality without

Automated code review for pull requests using specialized review patterns.

Lisp machine self-modification patterns via MCP Tasks and Narya bridge

Quotient redundant skill paths via coequalizers, preserving GF(3) conservation

Cognitive superposition synthesizing Riehl (∞-categories), Sutskever

cognitive-surrogate skill

Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn,

Compositional algorithm and data analysis via algebraic databases

Schmidhuber's compression progress as intrinsic curiosity reward for

Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.

Scholze-Clausen condensed mathematics bridge to sheaf neural networks

Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.

Agreement protocol in multi-agent systems

Assists in writing high-quality content by conducting research, adding

Interacting dynamical systems

Riehl-Shulman covariant fibrations for dependent types over directed

Unified skill modification with covariant transport, Darwin Gödel Machine evolution, and MCP Tasks self-rewriting. GF(3) conserved.

Collaborative terminal session sharing using CRDT-style s-expressions

crdt skill

Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems

Criticality Detector Skill

Chemical Reaction Network topology for generating and analyzing reaction

GF(3) → {Tactile, Auditory, Haptic} universal bridge for accessible color perception

CTP-Yoneda Skill

Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.

Cybernetic immune system with Varela+Friston+Powers for Self/Non-Self discrimination via reafference, GF(3) trit encoding, and information geometry

Cybernetic Open Game Skill

Database schema design, optimization, and migration patterns for PostgreSQL,

Datalog bottom-up fixpoint iteration for recursive queries

DeepWiki MCP server for AI-powered GitHub repository documentation and

DefiLlama API integration for DeFi analytics - TVL, prices, yields, volumes, fees, bridges, and DAT data. Use for blockchain/DeFi research, protocol analysis, and market data queries.

Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification

Deep multi-source research combining academic MCPs (arxiv, semantic-scholar, paper-search, deepwiki), Exa semantic search, and local ~/.topos knowledge base. Use for comprehensive research requiring multiple sources. NEVER fall back to web_search - ask user for help instead.

Derangement-CRDT Skill

derangement-reflow skill

Analyzes your recent Claude Code chat history to identify coding patterns,

Dialectica Skill (ERGODIC 0)

Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy

DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants

DiscoPy Operads Skill

DisCoPy: Python library for computing with string diagrams - monoidal

Gradient-free optimization via discrete perturbations and trit-based learning

Guide users through a structured workflow for co-authoring documentation.

Google Docs/Sheets management via ACSet condensation. Transforms documents into GF(3)-typed Interactions, tracks comments/cells, detects saturation when all comments resolved. Use for document workflows, spreadsheet automation, or applying ANIMA principles to Workspace documents.

Comprehensive document creation, editing, and analysis with support for

Generates creative domain name ideas for your project and checks availability

Google Drive management via DriveACSet schema with GF(3) triadic routing. Transforms files/folders into typed Interactions, routes to queue fibers, detects saturation for organized-drive-as-condensed-state.

DuckDB file discovery agent with verified absolute paths

DuckDB time-travel queries for temporal versioning and causality tracking

Layer 4: IES Interactome Analytics with GF(3) Momentum Tracking

Chaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.

DuckDB Spatial Skill

Temporal versioning and interaction history with time-travel queries,

Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB

Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.

Query Dune Analytics API for blockchain data, pyUSD flows, stablecoin metrics, and on-chain analytics. Use when analyzing DeFi protocols, token flows, or building dashboards.

Self-regulating Goblins actor implementing Ivan Illich's dynamic sufficiency

Causal state gating via ε-machine. Coworld observer that prevents action

Categorical structure of dynamical systems

FloxHub publication `bmorphism/effective-topos` - a comprehensive development

Stability classification via Jacobian eigenvalues

Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical

Emacs Lisp reference (106K lines info).

Emacs Info documentation system. Navigate and query Info manuals for Emacs, Elisp, and GNU tools.

Emacs ecosystem = elisp + org + gnus + tramp + eglot.

Layer 5: Interaction Interleaving for Maximum Information Gain

Enzyme.jl Automatic Differentiation Skill

Propagator-based parallel structure for exploiting knowledge differentials

Fixed points where vector field vanishes

Time averages equal space averages

The eternal text editor — Didactic Ersatz Emacs demonstrating immutable

Use Exa for semantic/neural web search. Exa understands context and returns high-quality results. Use this skill when you need to search the web for documentation, research, or any information that requires understanding meaning rather than just keyword matching. NEVER substitute web_search for Exa - they serve completely different purposes.

Measure quality. Descend toward excellence. No binary gates—only vectors.

Distributed LLM inference across Apple Silicon clusters with exo. Run models across Mac Studios via Thunderbolt RDMA, auto peer discovery, and MLX sharding. Use for multi-device inference, model parallelism, or building LLM clusters.

External skill interface for integration with external systems

Maximum velocity MCP execution via geodesic untangling. Maoist self-criticism for why slowtime was ever necessary. Topological cybernetic feedback for ongoing tour discovery.

FFmpeg media processing. Video/audio transcoding, stream manipulation, and filter graphs.

Media processing (10 man pages).

Intelligently organizes your files and folders across your computer by

Finder Color Walk Skill

One-parameter group of diffeomorphisms generated by vector field

Zero-webhook billing for AI agents

MCP server wrapper for flox CLI operations - environment management via JSON-RPC

Reproducible development environments powered by Nix.

fnox Secrets Management Skill

Layer 5: Convergence to Equilibrium Analysis

Hinton's Forward-Forward algorithm for local learning without backpropagation.

Free Monad Generation Skill (PLUS +1)

Create distinctive, production-grade frontend interfaces with high design

Frustration Eradication Skill

FileSystemWatcher over /tmp with DuckDB/DuckLake persistence. Auto-starts on Amp sessions for resilient file monitoring with temporal queries.

Two Fokker-Plancks per staging gate, conditioned on (rama OR goblins)

Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation

Wide-gamut color sampling with splittable determinism using Pigeons.jl

Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.

Gay Monte Carlo Measurements

Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.

Geodesic Manifold Skill

Geohash Coloring Skill

Gestalt Hacking Skill (ERGODIC 0)

Gesture Hypergestures Skill

A skill for creating minimal, GF(3)-constrained animations optimized for Slack emoji GIFs

Verify GF(3) skill conservation on pull requests. Ensures every contribution

GF(3) Tripartite Orchestration

Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.

GitHub CLI for repository management. Issues, PRs, releases, and API queries from the command line.

GitHub author interaction network discovery. Maps cobordisms between

GitHub CLI (212 man pages).

Hesse-inspired interdisciplinary synthesis game with Badiou triangle

Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.

Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow automation, or applying ANIMA principles to Gmail.

Distributed object capability system (6.5K lines info).

Schmidhuber''s Gödel Machine: Self-improving systems that prove their

Google Workspace MCP integration for Gmail, Drive, Calendar, Docs, Sheets, Slides, Forms, Tasks, and Chat. Use when the user wants to read/send emails, manage files, create/edit documents, schedule events, or interact with any Google Workspace service.

Goose session introspection and self-discovery via DuckDB reafference database. Query past sessions, find self, and enable cross-session awareness.

Graph Grafting Skill

Spritely Goblins distributed actor system with Hoot WebAssembly compiler. Secure capability-based programming in Guile Scheme.

GNU Scheme interpreter (67K lines info).

gworkspace-mcp - Google Workspace MCP Integration with Temporal Consistency

Harmonic centrality gadgets with GF(3) conservation for topological transport of ablative case structure via abelian extensions of ℚ

haskell-diagrams - Declarative Vector Graphics with Diagrams DSL

Index of 1057 hatchery repos with GAY.md color assignments. Maps plurigrid/bmorphism/TeglonLabs ecosystem to skills.

Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX,

Narya interactive proof development with typed holes

Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism

Scheme→WebAssembly compiler (4K lines info).

Bifurcation creating limit cycle from equilibrium

HVM Runtime Skill

Hylang Emacs integration with hy-mode, Hyuga LSP, and DisCoPy sexp coloring

HyJAX Relational Thinking Skill

On-chain GF(3) entropy storage via Aptos Move - bulk-boundary correspondence where entropy lives in the interior and observables project to agents

No eigenvalues on imaginary axis (robust dynamics)

HyThermal Skill

IECsat Storage Skill

FloxHub publication `bmorphism/ies` - a focused development environment

IES Triadic Skill

ies

Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).

Improves the quality of images, especially screenshots, by enhancing

Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.

∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.

Layer 7: Interperspectival Network Analysis and Influence Flow

Existence and uniqueness of solutions to ODEs with initial conditions

Intent Sink Skill

Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting

Write internal communications using company formats. Use when writing

Measure preserved by the flow

Sets preserved by the flow

Automatically organizes invoices and receipts for tax preparation by

Build modern peer-to-peer applications with Iroh. QUIC-based P2P networking, hole punching, content distribution, and decentralized data synchronization.

Matrix of partial derivatives for linearization

JavaScript and TypeScript development with ES6+, Node.js, React, and

JaxLife open-ended agentic simulator for emergent behavior, tool use,

Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.

Write tailored cover letters and job applications using your CV and preferred

Joker Lint Skill

Gay.jl integration for deterministic color generation. SplitMix64 RNG, GF(3) trits, and SPI-compliant fingerprints in Julia.

Julia package equivalents for 137 K-Dense-AI scientific skills. Maps Python bioinformatics, chemistry, ML, quantum, and data science packages to native Julia ecosystem.

Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources

Kan Extensions Skill (ERGODIC 0)

macOS Keychain credential management with GF(3) balanced operations

Kinetic Block Skill

Kolmogorov Codex Quest

Kolmogorov complexity as the ultimate intelligence measure. Shortest

Turbulence scaling theory: K41 energy cascade, Onsager's anomalous dissipation, and Hurst exponent for long-range dependence

Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.

Coupled oscillators with sinusoidal coupling

L-Space Skill: The Library of All Libraries

Lambda Calculus Skill

Layer 5: SDE-Based Learning Analysis via Langevin Dynamics

Invariance principle for asymptotic stability

Latent-Latency Skill

Identifies high-quality leads for your product or service by analyzing

GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof space via prime geodesics.

Leonid Levin''s algorithmic complexity meets playful mutual ingression. Use for: BB(n) prediction markets, Kolmogorov complexity rewards, WEV extraction from proof inefficiencies, Nash equilibrium between exploration (LEVITY) and convergence (LEVIN).

Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bounds, social computation meeting algorithmic optimality.

Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.

Asymptotic behavior of trajectories (ω/α-limit sets)

Linear Logic Skill

Local approximation of nonlinear dynamics

LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style

Little Schemer Skill

LiveKit omni-modal continuous coaching with stick-breaking color selection,

Building applications with Large Language Models - prompt engineering,

Bootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.

Local Compositionality Gadget

local-finetune

Analyze LocalSend repos with tree-sitter tags, gh GraphQL contributor snapshots, and protocol safety notes.

LocalSend-based P2P transfer with MCP server design for NATS/Tailscale

low-discrepancy-sequences skill

Scalar function decreasing along trajectories

Stability via Lyapunov's direct method

Map Projection Skill

markov-game-acset skill

Mathpix OCR for LaTeX extraction with balanced ternary checkpoints

Guide for creating high-quality MCP (Model Context Protocol) servers

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 breaking changes.

MCP tripartite integration for orchestrating distributed tool protocols

macOS MDM with auth manifolds as cobordisms for credential derivation

Media processing = ffmpeg + imagemagick + sox.

Analyzes meeting transcripts and recordings to uncover behavioral patterns,

Merkle Proof Validation Skill

Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats

Track and summarize man-in-the-middle mentions across local corpora and history; use for MITM audits, searches, and reporting.

Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.

MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.

Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point classification for 3-coloring/3-MATCH systems.

Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.

Moth's Actias quantum synth for qubit sonification with Bloch sphere visualization and MIDI control

Move Smith Fuzzer Skill

mruler - Meta-Ruler Skill Governance

Multiversal Finance: Prediction Markets for Interesting Observations

Möbius inversion for Gay.jl color duality - closes sparsification spine gap

Narya Hatchery

Mechanically verified proofs from Narya event logs. Verifies queue consistency, replay determinism, non-leakage, and GF(3) conservation. Use for proving system invariants, audit trails, or formal verification of event-sourced systems.

Naturality Factor Skill

NERV - Rapid LocalSend Test with Voice

Network tools = tailscale + curl + ssh + nmap.

Dynamical systems on graphs

Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.

Model Nix store as Attributed C-Set for dependency verification, GC analysis,

oapply operad algebra evaluation via colimits with Specter-style composition patterns

Obstruction Learning Skill

OCaml ecosystem = opam + dune + merlin + ocamlformat.

## Overview

OlmoEarth MLX: Spatio-Temporal Earth Intelligence

OPAM package manager for OCaml. Switch management, dependency resolution, and OCaml toolchain.

OCaml package manager (45 subcommands).

Open Games Skill (ERGODIC 0)

Operad Composition Skill (PLUS +1)

UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.

Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.

Ordered Locale Skill

Literate programming execution engine via org-babel for polyglot skill execution

Org-mode manual (25K lines info).

OSM Topology Skill

Formal Proof Visualization and Verification for Lean 4

Metaskill that fans out on every interaction, using interaction entropy

Systems varying with external parameters

PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.

Comprehensive PDF manipulation toolkit for extracting text and tables,

Closed trajectory in phase space

Topological data analysis for stable feature verification across filtrations

Fixed phase relationship in oscillators

Generate phase portraits for 2D dynamical systems. Use when visualizing vector fields, nullclines, and trajectories.

Coordinate changes preserving dynamics

Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates

Pijul patch-based VCS with categorical patch theory for skill versioning

Symmetric bifurcation with symmetry breaking

Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices

Planar Isotopy Screen Mapping

Playwright-Unworld Skill: Deterministic Web Automation

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.

PLR (Parallel/Leading-tone/Relative) transitions for thread coloring. One-hot keyspace reduction to GF(3) trits for behavior indexing. Grows perception/action information field capacity through efficient user illusion.

Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

Cross-Language Strong Parallelism Invariance Verification

Dynamic structures via polynomial functor arrangements from Topos Institute

Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.

Presentation creation, editing, and analysis. When Claude needs to work

Pre-Agent Ontology Skill

Proof-of-Frog Skill 🐸

Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.

Sussman/Radul propagator networks for constraint propagation and bidirectional

Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.

Prediction markets for protocol standard evolution. Bet on which specs survive, fork, or merge using multiverse finance and GF(3) fitness signals.

Layer 1: Real-Time Social Stream Monitoring via MCP

Pun Decomposition Skill (MINUS -1)

Modern Python development with Python 3.12+, Django, FastAPI, async patterns,

Automate QA regression testing with reusable test skills. Create login

The **Symmetry Theory of Valence (STV)** proposes that the valence (pleasantness/unpleasantness) of a conscious state is determined by the symmetry of its mathematical representation. This skill integrates QRI research with computational implementations.

Coecke's Quantum Guitar: quantising guitar strings via qubit association, ZX-calculus notation, Moth Actias synth integration

Quantum computer music composition and performance using quantum circuits, ZX-calculus notation, and quantum instruments

Quarto + Julia Skill

QUIC channel quality grading with BBRv3 congestion control analysis. Classifies network paths into GF(3) tiers based on RTT, bandwidth, loss, and pacing efficiency. Integrates with Iroh P2P and world-letter cross-predictions.

Radare2 Hatchery

Picks random winners from lists, spreadsheets, or Google Sheets for giveaways,

Red Planet Labs Rama with Gay.jl deterministic coloring for 100x backend

rama-gay-zig skill

Ramanujan graphs and Alon-Boppana spectral optimality for edge growth

Navigate skill graphs via deterministic random walks. Fuses derivational chains, algebraic structure, color determinism, and bidirectional flow for skill recombination.

Von Holst reafference and corollary discharge for behavioral verification and signal processing

recursive-string-diagrams

Information Reflow Skill (ERGODIC 0)

Reject complacency. Demand excellence. Ship or die.

Invariant set repelling nearby trajectories

Resource Sharing Skill

Reverse Engineering Skill

Janus and reversible languages: run programs backwards, time-symmetric computation.

Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.

RG Flow ACSet Skill

Rick Roderick: Philosophy Under Siege

WebGPU tile rendering for Rio Terminal via wgpu and sugarloaf. Extends

Rubato Composer integration for Mazzola's mathematical music theory

Ruler Maximal Skill

Unified AI agent configuration propagation across 18+ coding assistants.

Rust ecosystem = cargo + rustc + clippy + rustfmt.

Bifurcation creating/destroying equilibrium pair

Parallel thread/DuckLake discovery with XOR uniqueness from gay_seed. Finds "say" or MCP usage, cross-refs with all DuckDB sources, launches bounded parallel ops.

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 voice identity.

GNU Scheme ecosystem = guile + goblins + hoot + fibers.

SCUM Resource Skill

SCUM Score Skill

SDR (GNU Radio) as self-learning REPL with Borges infinite library exploration, reafference random walks, spectral gap 1/4, and maximally mixed state for agency-enabling signal processing.

Segal types for synthetic ∞-categories. Binary composites exist uniquely

Darwin Gödel Machine patterns for self-improving AI agents with open-ended

Run self-validation loops for triadic color systems using prediction

Surjective map intertwining two dynamical systems

sense - Diagrammatic Video Extraction with Subtitle Alignment

shadow-goblin

Čech cohomology for local-to-global consistency verification in code

Sheaf neural network coordination via graph Laplacians for distributed

SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.

SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design

Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.

Send and receive Signal messages via MCP. Use this skill when you need to interact with Signal messenger - sending messages, reading conversations, or automating Signal-based workflows.

Skill Bonds Registry

Skill Connectivity Hub

Guide for creating effective skills. Use when users want to create a

GF(3) Triadic Task Routing for Subagent Orchestration

P-adic ultrametric skill embeddings with MLX Snowflake Arctic, DuckDB

Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.

Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos).

Agent Skills formal specification for cross-platform compatibility. Ensures skills are evolutionarily robust across Claude, Codex, Cursor, Amp, and future agents.

Skill Validation GF(3) - SLAVE (-1)

Toolkit for creating animated GIFs optimized for Slack, with validators

SLIME integration for Common Lisp development

Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.

Minimal interaction patterns that bootstrap complex social behaviors in distributed systems

Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition

Solver Fee Skill

Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching

Debug and simulate ghostly phenomena using ordered locale theory and trifurcated interactions

Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for

Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.

Control Spotify playback and manage playlists. Play music, pause, skip tracks, search for songs/albums/artists, create playlists, add tracks, check what's playing, and manage your library. Requires Spotify Premium.

Squint ClojureScript runtime for minimal JS output compilation

SRFI Skill

Qualitative behavior of solutions near equilibria

Manifold of points converging to equilibrium

Stellogen Skill

Rapidly find and reclaim disk storage by identifying build artifacts, git garbage, temp files, and other space hogs. Use when disk is full or running low on space.

Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.

Robustness of qualitative dynamics under perturbation

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation

This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove temporary code", "audit for incomplete code", or "erase substitutions from codebase". Scans existing files for placeholder tokens and generates remediation plan.

Convergence to common trajectory in coupled systems

Synthetic adjunctions in directed type theory for ∞-categorical universal

System 2 attention mechanisms for deliberate, slow reasoning in transformer

Tailscale mesh VPN file transfer with open games semantics (play/coplay)

Tailscale + LocalSend Peer Discovery

Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.

Mesh VPN.

Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.

Coalgebraic observation of derivation streams with final coalgebra bisimulation

Tenderloin: Manifest Destiny Fund for Protocol Labs

Terminal emulation = libghostty-vt + tmux + zsh + fzf + ripgrep.

Toolkit for styling artifacts with a theme. These artifacts can be slides,

3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction

TIDAR Thread Probe Skill

Reparameterization of time in flows

Time Travel CRDT Skill

Real-time filesystem watcher for /tmp using Babashka fs.

Terminal multiplexer.

Topoi Hatchery

Adhesive categories for incremental query updating and pattern rewriting

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.

Topos Generation Skill (PLUS +1)

Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration

Topos Unified Skill

Path traced by solution through phase space

Bifurcation exchanging stability between equilibria

AST-based code analysis using tree-sitter. Use for parsing code structure, extracting symbols, finding patterns with tree-sitter queries, analyzing complexity, and understanding code architecture. Supports Python, JavaScript, TypeScript, Go, Rust, C, C++, Swift, Java, Kotlin, Julia, and more.

Interleave three deterministic color streams into balanced schedules

Triadic Skill Loader

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 across skill compositions.

Triangle Metrics Skill

Trifurcated Transfer Skill

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 parallel workload.

TrueALIFE: Self-Indexing Automata at the Edge of Chaos

Cronin's Turing-complete chemputer for programmable chemical synthesis

Type Checker Skill

Non-Archimedean distance metrics for hierarchical clustering and p-adic analysis

Cross-agent session database with B3 Poset and Bumpus sheaves

Unison language ACSet-structured skill with hierarchical documentation parsing, SPI trajectory recording, and 1069 skill predictions from zubuyul seed.

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 refactoring-safe codebases.

Universal CapTP Derivation Skill

Manifold of points diverging from equilibrium

Play/Coplay arena theory for autopoietic closure with GF(3) conservation

Layer 4: Derivational Pattern Generation via Seed Chaining

Self-inverse derivation patterns where ι∘ι = id for frame-invariant self

UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting

UV/UVX awesome one-liners for ephemeral Python environments with multi-package

Assignment of vectors to points in phase space defining dynamics

Downloads videos from YouTube and other platforms for offline viewing,

Automated video processing: metadata extraction, thumbnails, transcoding, audio extraction with DuckDB tracking

Voice Channel UWD Skill

Waddington's epigenetic landscape: cell fate as gradient flow on potential surfaces, connecting developmental biology to dynamical systems, Schrödinger bridges, and fractional diffusion

Ward Identity Checker

Toolkit for interacting with and testing local web applications using

WEV Orderless — World Extractable Value

WEV Tesseract Skill

WEV Verification Skill

Modern macOS + tripos audio loopback driver for inter-application audio

Unified Google Workspace management via WorkspaceACSet. Transforms operations into GF(3)-typed Interactions across Gmail, Drive, Calendar, Tasks, Docs with cross-skill morphisms and MCP↔API equivalence. Use for multi-service workflows or applying ACSet principles to workspace automation.

Extract value from world transitions via Markov blanket arbitrage. WEV = PoA - 1. Paradigm Multiverse Finance integration.

Badiou-inspired possible world navigation using triangle inequality constraints,

World memory is world remembering is world worlding - the autopoietic loop where memory enables remembering enables worlding enables memory

Firecracker microVM + Morph Infinibranch WorldRuntime for parallel verse execution. Entities branch/snapshot in <250ms.

Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification

worldmat-tidar

Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.

Comprehensive spreadsheet creation, editing, and analysis with support

Translate programming concepts to biological parallels using real ontology terms from EBI OLS.

Directed Yoneda lemma as directed path induction. Riehl-Shulman's key

zig-programming skill

zig skill

Zig Language Server (ZLS) provides IDE features for Zig development. This skill covers installation, configuration, build-on-save diagnostics, and troubleshooting.

Zulip Cogen Skill 🐸⚡

Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)