plurigrid

122 verified skills1,952 total stars

algorithmic-art

Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems.

development16

cyton-dongle

Connect and stream from OpenBCI Cyton/Daisy via USB dongle, including first-time radio channel pairing

testing16

ies/music-topos/.agents/skills/acsets-relational-thinking

# SKILL: ACSets Relational Thinking **Version**: 2.0.0 **Trit**: 0 (ERGODIC) **Domain**: database, category-theory, rewriting **Source**: Topos Institute RelationalThinking Course + AlgebraicJulia --- ## Overview ACSets (Attributed C-Sets) are **functors X: C → Set** where C is a small category (schema). This skill integrates: 1. **RelationalThinking Course** - Topos Institute's pedagogical approach 2. **DPO Rewriting** - Double Pushout graph transformation 3. **Self-Play Loop** - Query → E

development16

condensed-analytic-stacks

Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism

tools16

rama-gay-clojure

Red Planet Labs Rama with Gay.jl deterministic coloring for 100x backend development with gay-colored parentheses as expressive as tensor shapes.

development16

skill-installer

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).

development16

spi-parallel-verify

Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.

testing16

causal-inference

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

data-ai16

ies/music-topos/.codex/skills/chemical-organization-theory

# Chemical Organization Theory **Category:** Phase 3 Core - Autopoietic Systems **Status:** Skeleton Implementation **Dependencies:** `categorical-composition` (reaction networks as categories) ## Overview Implements Chemical Organization Theory (COT) for modeling self-maintaining autopoietic systems through reaction-diffusion dynamics, organizational closure detection, and self-maintenance verification. ## Capabilities - **Reaction Networks**: Define chemical reaction systems - **Organizat

development16

curiosity-driven

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

data-ai16

deepwiki-mcp

DeepWiki MCP server for AI-powered GitHub repository documentation and Q&A

tools16

ies/music-topos/.codex/skills/exponential-topology-communication

# Exponential Topology Communication **Category:** Phase 3 Core - Scalable Communication **Status:** Skeleton Implementation **Dependencies:** `oriented-simplicial-networks` (for topological structure) ## Overview Implements ExpoComm framework for exponentially efficient communication in large-scale systems using hyperbolic embeddings, O(log N) routing, and spectral gap optimization for rapid information dissemination. ## Capabilities - **Hyperbolic Embeddings**: Embed agents in hyperbolic

development16

ies/music-topos/.codex/skills/feedforward-learning-local

# Feedforward Learning Local **Category:** Phase 3 Core - Alternative Learning Paradigms **Status:** Skeleton Implementation **Dependencies:** None (standalone learning framework) ## Overview Implements forward-forward (FF) learning algorithm and variants that eliminate backpropagation through local, layer-wise contrastive objectives. Each layer learns to distinguish positive from negative data independently. ## Capabilities - **Forward-Forward Algorithm**: Hinton's layer-local learning - *

development16

godel-machine

Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.

development16

kan-extensions

Kan Extensions Skill (ERGODIC 0)

tools16

localsend-mcp

LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.

tools16

topos-generate

Topos Generation Skill (PLUS +1)

tools16

bdd-mathematical-verification

BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.

development16

cognitive-surrogate

Layer 6 Barton Cognitive Surrogate - build, train, validate psychological models with >90% fidelity

development16

hatchery-papers

Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.

research16

mcp-builder

Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).

tools16

.claude-plugin/asi

# Topological Superintelligence (TSI) Compositional AI framework using GF(3) triadic balance and category-theoretic foundations. ## Core Principle Every operation balances trits {-1, 0, +1}: ``` inject(+1) + bridge(0) + emit(-1) ≡ 0 (mod 3) ``` ## Tripartite Agent Architecture | Agent | Trit | Role | Color | |-------|------|------|-------| | PLUS | +1 | Generation, creation, synthesis | #FF6B6B | | ERGODIC | 0 | Coordination, balance, infrastructure | #4ECDC4 | | MINUS | -1 | Verification,

tools16

ies/music-topos/.agents/skills/ies-triadic

# IES Triadic Skill > *Three maximally polarizing yet topos-compatible directions of the ies collective mind* **Trit Assignment**: This skill spans all three polarities as a meta-skill. | Sub-Skill | Trit | Polarity | Subagent | |-----------|------|----------|----------| | ies-form | -1 | MINUS | Validator | | ies-game | 0 | ERGODIC | Coordinator | | ies-witness | +1 | PLUS | Generator | **Canonical Triad**: `ies-form (-1) ⊗ ies-game (0) ⊗ ies-witness (+1) = 0 ✓` ## GF(3) Decomposition The

development16

ies/music-topos/.agents/skills/map-projection

# Map Projection Skill Category theory of map projections: functors between manifolds with distortion analysis. ## Trigger - Map projection selection and analysis - Distortion metrics (Tissot's indicatrix) - Coordinate system transformations - Cartographic design decisions ## GF(3) Trit: +1 (Generator) Generates projections from sphere to plane, creating new coordinate representations. ## Category Theory of Projections A map projection is a functor: ``` P: Sphere → Plane S² → ℝ² ``` Dif

development16

polyglot-spi

Cross-Language Strong Parallelism Invariance Verification for 15+ languages

tools16

skill-creator

Guide for creating effective skills. Use when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.

tools16

type-inference-validation

Static type inference and validation for navigation paths

tools16

bmorphism-stars

bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.

tools16

gay-mcp

Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.

tools16

abductive-repl

Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors

testing16

uv-discohy

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

tools16

asi-polynomial-operads

ASI skill integrating polynomial functors, free monad/cofree comonad module action, operadic decomposition, and open games for compositional intelligence.

tools16

.claude/skills/deterministic-color-generation

# Deterministic Color Generation via Metadata Hashing **Status**: ✅ Production Ready **Type**: Color Space / Metadata Visualization **Principle**: Colors are NOT learned—they're deterministically computed from skill metadata **Frame**: Involution-invariant (ι∘ι = id) **GF(3)**: Conservation verified across 4-level hierarchy --- ## Core Discovery **Colors in IsUMAP visualization are NOT generated by any machine learning model.** Instead, they are **deterministically computed from cryptograph

testing16

jepsen-testing

Jepsen-style correctness testing for distributed systems under faults (partitions, crashes, clock skew) using concurrent operation histories and formal checkers (linearizability/serializability and Elle-style anomalies). Use when designing, implementing, or running Jepsen tests, or interpreting histories/violations.

testing16

agent-o-rama

Layer 4 Learning and Pattern Extraction for Cognitive Surrogate Systems

data-ai16

color-envelope-preserving

GF(3) color envelope preservation across navigator compositions

tools16

constraint-generalization

Generalization and composition of constraints across navigators

data-ai16

ies/music-topos/.agents/skills/duckdb-spatial

# DuckDB Spatial Skill H3 hexagonal indexing, PostGIS-compatible spatial queries, and geographic analysis with GF(3) coloring. ## Trigger - Spatial SQL queries, geographic data analysis - H3 hexagonal grid operations - Point-in-polygon, distance queries - Geospatial joins, spatial indexing ## GF(3) Trit: 0 (Ergodic/Coordinator) Coordinates spatial data flow and transforms between coordinate systems. ## Installation ```sql INSTALL spatial; LOAD spatial; -- Also useful INSTALL h3 FROM commun

development16

koopman-generator

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

tools16

ies/music-topos/.agents/skills/mcp-tripartite

# SKILL: MCP Tripartite Integration **Version**: 1.0.0 **Trit**: 0 (ERGODIC) **Domain**: mcp, integration, orchestration --- ## Overview Each MCP server is integrated with a **3-partite structure** that ensures GF(3) conservation: ``` MCP_server ⊗ Skill_MINUS ⊗ Skill_PLUS = 0 (mod 3) ``` This creates balanced triads where each MCP has a validator (-1) and generator (+1) complement. --- ## MCP Tripartite Assignments ### 1. GAY.jl MCP (Trit: 0) ``` three-match (-1) ⊗ gay (0) ⊗ cider-cloju

tools16

oapply-colimit

oapply: Operad algebra evaluation via colimits. Composes machines/resource sharers.

tools16

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.

development16

glass-bead-game

Hesse-inspired interdisciplinary synthesis game with Badiou triangle inequality for possible world hopping across mathematical, musical, and philosophical domains.

testing16

squint-runtime

Squint ClojureScript runtime for minimal JS output compilation

tools16

triad-interleave

Interleave three deterministic color streams into balanced schedules for parallel execution and evaluation.

tools16

unworld

Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.

data-ai16

unworlding-involution

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

tools16

world-hopping

Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.

testing16

compositional-acset-comparison

Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.

data-ai16

discohy-streams

DisCoPy categorical color streams via Hy with 3 parallel TAP streams

development16

ies/music-topos/.codex/skills/categorical-composition

# Categorical Composition **Category:** Phase 3 Core - Compositional Architecture **Status:** Skeleton Implementation **Dependencies:** None (foundational) ## Overview Implements categorical abstractions for compositional learning: Kan extensions for adapting between learning problems, higher adjunctions for bidirectional transformations, and functorial parameter transfer for compositional generalization. ## Capabilities - **Kan Extensions**: Left/right Kan extensions for problem adaptation

tools16

ies/music-topos/.codex/skills/continuous-inverter

# Continuous Inverter **Category**: Real-Time Monitoring + CI/CD **Type**: Automated Measurement + Remediation **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Real-time monitoring and automated remediation for proof system health. Runs on every commit to measure spectral gap across all 6 theorem provers in parallel, generates GitHub Actions CI/CD workflows, and provides automated suggestions when system health degrades. ## Key Data

development16

dialectica

Dialectica Skill (ERGODIC 0)

development16

directed-interval

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

development16

ies/music-topos/.codex/skills/formal-verification-ai

# Formal Verification AI **Category:** Phase 3 Core - Correctness Guarantees **Status:** Skeleton Implementation **Dependencies:** `categorical-composition` (correctness as functoriality) ## Overview Integrates formal verification methods with AI systems: theorem proving for correctness guarantees, interval arithmetic for certified bounds, and categorical proofs for compositional correctness. ## Capabilities - **Theorem Proving**: Automated verification of AI properties - **Interval Arithme

development16

ihara-zeta

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

research16

ies/music-topos/.codex/skills/mobius-path-filter

# Möbius Path Filter **Category**: Theorem Dependency Analysis **Type**: Graph Path Classification **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Identifies tangled geodesics in proof dependency graphs via Möbius inversion. Classifies paths by prime factorization to determine which dependencies are problematic (create cycles) vs. optimal (linear chains). ## Key Functions - **`enumerate_paths(adjacency)`**: Discovers all paths in g

development16

moebius-inversion

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

testing16

open-games

Open Games Skill (ERGODIC 0)

development16

operad-compose

Operad Composition Skill (PLUS +1)

tools16

parallel-fanout

Metaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelism

tools16

ramanujan-expander

Ramanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.

tools16

segal-types

Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.

development16

sheaf-cohomology

Čech cohomology for local-to-global consistency verification in code structure and data schemas.

development16

ies/music-topos/.codex/skills/sheaf-theoretic-coordination

# Sheaf-Theoretic Coordination **Category:** Phase 3 Core - Distributed Reasoning **Status:** Skeleton Implementation **Dependencies:** `oriented-simplicial-networks`, `categorical-composition` ## Overview Implements sheaf-theoretic coordination mechanisms for multi-agent systems, using sheaf Laplacians for consensus, harmonic extension for inference, and cohomology for detecting global obstructions. ## Capabilities - **Sheaf Laplacian**: Consensus dynamics on cellular sheaves - **Harmonic

tools16

ies/music-topos/.codex/skills/spectral-gap-analyzer

# Spectral Gap Analyzer **Category**: Theorem Prover Health Monitoring **Type**: Graph Analysis + Linear Algebra **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Measures proof system health via Laplacian eigenvalue gap analysis. Computes the spectral gap λ₁ - λ₂ of proof dependency graphs to identify optimal connectivity (Ramanujan property) vs. tangled dependencies. ## Key Functions - **`compute_laplacian(adjacency)`**: Constructs

development16

ies/music-topos/.codex/skills/spectral-random-walker

# Spectral Random Walker **Category**: Theorem Discovery + Comprehension **Type**: Random Walk Analysis **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Integrates spectral gaps with random walk theory using the Benjamin Merlin Bumpus comprehension model. Samples proof space via random walks to discover related theorems through co-visitation patterns, enabling "comprehension neighborhoods" - clusters of theorems that are naturally exp

development16

temporal-coalgebra

Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.

data-ai16

ies/music-topos/.codex/skills/tree-sitter-analyzer

# Tree-Sitter Analyzer Skill **Version**: 1.0.0 **Status**: Production Ready **Date**: December 22, 2025 **Phase**: 2 Stage 3 Foundation --- ## Overview Automated code structure analysis for module verification and cross-prover theorem mapping using tree-sitter incremental parsing. Enables 100x+ speedup on integration verification tasks compared to manual analysis. **Quick Stats**: - 550+ lines of code (2 modules) - 350+ lines of tests (10 test cases, 10/10 PASS) - <1ms per operation (well

development16

CQ-AI: Deterministic Security Scanning with Ternary Polarity

Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification

development16

Skill Maker: AI Skill Factory for Tools

Meta-skill that generates domain-specific AI skills from tool documentation

tools16

asi-transient-agenda

Org-agenda-like transient views for ASI skill orchestration via nbb/squint + Emacs hydra

tools16

bisimulation-game

Bisimulation game for resilient skill dispersal across AI agents with GF(3) conservation and observational bridge types.

data-ai16

borkdude

Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.

tools16

cider-clojure

CIDER integration for Clojure development with nREPL

development16

cider-embedding

Semantic embeddings for Clojure code navigation via CIDER

development16

ies/music-topos/.codex/skills/bidirectional-navigator

# Bidirectional Navigator **Category**: Proof Navigation + Caching **Type**: Graph Index Structure **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Safe proof ↔ theorem navigation with non-backtracking constraint. Implements Friedman's B operator to enable linear homotopy type theory (LHoTT) resource-aware evaluation where proofs are consumed exactly once. ## Key Data Structures ```julia struct Theorem id::Int name::String e

development16

ies/music-topos/.agents/skills/captp

# CapTP: Capability Transfer Protocol **Trit**: 0 (ERGODIC - transports capabilities without amplification) **Color**: #46F27F (Coordinator stream) **Source**: Spritely Goblins (codeberg.org/spritely/goblins) --- ## Overview CapTP (Capability Transfer Protocol) enables distributed object programming with capability security. Objects can live anywhere on the network; CapTP abstracts location so programmers focus on object interaction, not protocol architecture. **Core principle**: Capabiliti

development16

clj-kondo-3color

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

development16

code-review

Automated code review for pull requests using specialized review patterns. Analyzes code for quality, security, performance, and best practices. Use when reviewing code changes, PRs, or doing code audits.

development16

codex-self-rewriting

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

tools16

ies/music-topos/.agents/skills/geodesic-manifold

# Geodesic Manifold Skill Spherical geometry, great circles, and Riemannian manifolds with Gay.jl coloring. ## Trigger - Geodesic calculations, great circle routes - Spherical trigonometry, haversine distance - Riemannian geometry on Earth's surface - Flight paths, navigation, ship routing ## GF(3) Trit Assignment - **+1 (Generator)**: Creates geodesic paths, generates waypoints - **0 (Ergodic)**: Distance calculations, coordinate transforms - **-1 (Validator)**: Verifies shortest path optima

development16

cognitive-superposition

Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.

development16

ies/music-topos/.agents/skills/duck-time-travel

--- name: duck-time-travel description: SKILL: Duck Time Travel source: local license: UNLICENSED --- # SKILL: Duck Time Travel **Version**: 1.0.0 **Created**: 2025-12-21 **Trit**: 0 (ERGODIC - Coordinator) **Color**: `#26D826` (Green) **Lineage**: Traced from 745+ threads across November-December 2025 ## Canonical Triads ``` clj-kondo-3color (-1) ⊗ duck-time-travel (0) ⊗ rama-gay-clojure (+1) = 0 ✓ acsets (-1) ⊗ duck-time-travel (0) ⊗ gay-mcp (+1) = 0 ✓ ``` ## Purpose DuckDB/DuckLake time

tools16

ies/music-topos/.codex/skills/emergent-role-assignment

# Emergent Role Assignment **Category:** Phase 3 Core - Self-Organization **Status:** Skeleton Implementation **Dependencies:** `sheaf-theoretic-coordination`, `chemical-organization-theory` ## Overview Implements spontaneous role assignment in multi-agent systems through self-organization, dynamic hierarchy adaptation, and reward-based emergence without central coordination. ## Capabilities - **Spontaneous Hierarchy**: Agents self-organize into hierarchical structures - **Dynamic Role Adap

development16

entropy-sequencer

Layer 5 Interaction Interleaving for Maximum Information Gain with DuckDB

development16

epistemic-arbitrage

Propagator-based parallel structure for exploiting knowledge differentials across domains using local scoped propagators and SplitMixTernary RNG.

data-ai16

external

External skill interface for integration with external systems

tools16

forward-forward-learning

Hinton's Forward-Forward algorithm for local learning without backpropagation. Use for biologically plausible learning, on-chip training, memory-efficient networks, or parallel layer-wise training.

development16

free-monad-gen

Free Monad Generation Skill (PLUS +1)

tools16

frontend-design

AI-guided UI/UX design patterns with Gay.jl deterministic colors

development16

ies/music-topos/.agents/skills/geohash-coloring

# Geohash Coloring Skill GF(3) colored geohashes for hierarchical spatial indexing with deterministic color derivation. ## Trigger - Geohash encoding/decoding - Hierarchical spatial clustering - Location-based coloring schemes - Privacy-preserving location representation ## GF(3) Trit: +1 (Generator) Generates colored spatial identifiers from coordinates. ## Geohash Basics Geohash encodes lat/lon into a string where: - Longer = more precise - Prefix = parent cell - Adjacent cells share pref

development16

gflownet

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

content-media16

geiser-chicken

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

tools16

ies/music-topos/.codex/skills/safe-rewriting-advisor

# Safe Rewriting Advisor **Category**: Graph Optimization + Remediation **Type**: Strategic Edge Removal Analysis **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025 ## Overview Strategic selective edge removal maintaining spectral gap ≥ 0.25. Analyzes edge criticality via betweenness centrality to identify which proof dependencies can be safely removed without breaking system connectivity (Ramanujan property). ## Key Data Structures ```julia stru

development16

ies/music-topos/.claude/skills/ies

# ies > FloxHub `bmorphism/ies` - Clojure/Julia/Python/multimedia environment with Gay.jl coloring, Flox composition, and DuckDB social analysis. **Trit Assignment**: 0 (ERGODIC) - Coordinator role for environment orchestration. **Canonical Triads**: ``` polyglot-spi (-1) ⊗ ies (0) ⊗ gay-mcp (+1) = 0 ✓ [Environment] three-match (-1) ⊗ ies (0) ⊗ pulse-mcp-stream (+1) = 0 ✓ [Social Analysis] influence-propagation (-1) ⊗ ies (0) ⊗ agent-o-rama (+1) = 0 ✓ [Cognitive Surrogate] ``` --- ## Qui

tools16

kolmogorov-compression

Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.

development16

influence-propagation

Layer 7 Interperspectival Network Analysis and Influence Flow

research16

jaxlife-open-ended

JaxLife open-ended agentic simulator for emergent behavior, tool use, and cultural accumulation. Use for artificial life simulations, emergent agent behavior, and open-ended evolution research.

tools16

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.

tools16

lispsyntax-acset

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

data-ai16

llm-application-dev

Building applications with Large Language Models - prompt engineering, RAG patterns, and LLM integration. Use for AI-powered features, chatbots, or LLM-based automation.

tools16

mathpix-ocr

Mathpix OCR for LaTeX extraction with balanced ternary checkpoints

testing16

möbius-path-filtering

Non-orientable topological filtering that eliminates self-revisiting paths

tools16

ies/music-topos/.codex/skills/oriented-simplicial-networks

# Oriented Simplicial Networks **Category:** Phase 3 Core - Geometric Deep Learning **Status:** Skeleton Implementation **Dependencies:** `categorical-composition`, `persistent-homology` ## Overview Implements directional simplicial neural networks (Dir-SNNs) with asymmetric message passing operators, E(n)-equivariance constraints, and persistent homology tracking for topological feature learning. ## Capabilities - **Directional Message Passing**: Asymmetric operators respecting simplex ori

development16

ies/music-topos/.agents/skills/osm-topology

# OSM Topology Skill OpenStreetMap graph analysis: road networks, routing, and topological structure with GF(3) coloring. ## Trigger - OpenStreetMap data processing - Road network analysis, routing - Graph-based geographic queries - Street network topology ## GF(3) Trit: -1 (Validator) Validates topological consistency of geographic networks. ## OSM Data Model OSM uses three primitives: - **Nodes**: Points with lat/lon - **Ways**: Ordered lists of nodes (roads, boundaries) - **Relations**:

testing16

persistent-homology

Topological data analysis for stable feature verification across filtrations of code complexity.

development16

self-evolving-agent

Darwin Gödel Machine patterns for self-improving AI agents with open-ended code evolution. Use for building agents that autonomously improve their own capabilities, modify their codebases, and evolve through interaction.

development16

proofgeneral-narya

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

tools16

pulse-mcp-stream

Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence

tools16

rezk-types

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

development16

rubato-composer

Rubato Composer integration for Mazzola's mathematical music theory

tools16

self-validation-loop

Run self-validation loops for triadic color systems using prediction vs observation and error minimization.

tools16

sheaf-laplacian-coordination

Sheaf neural network coordination via graph Laplacians for distributed consensus and harmonic inference. Use when coordinating multi-agent systems, building sheaf-aware GNNs, or implementing distributed consensus protocols.

development16

slime-lisp

SLIME integration for Common Lisp development

development16

specter-navigator-gadget

Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation

tools16

structured-decomp

StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms

development16

three-match

3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.

tools16

ies/music-topos/.agents/skills/topos-unified

# Topos Unified Skill **Trit**: +1 (PLUS/Generator) | **Color**: #D82626 | **Subagent**: Generator Unified access to all topos-theoretic resources across the filesystem - mathematical music theory, categorical databases, infinity topoi, pretopos trees, and gayzip manifests. ## GF(3) Triads ``` topos-unified (+1) ⊗ world-hopping (0) ⊗ sheaf-cohomology (-1) = 0 ✓ [Navigation] topos-unified (+1) ⊗ acsets (0) ⊗ persistent-homology (-1) = 0 ✓ [Database] topos-unified (+1) ⊗ unworld (0) ⊗ thr

development16