asi-skills

Hypothesis-Test Loops via REPL for Exploratory Abductive Inference

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

ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional navigation. Category-theoretic formalism for relational databases.

' Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems'

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.

Suite of tools for creating elaborate, multi-component claude.ai HTML artifacts using modern frontend web technologies (React, Tailwind CSS, shadcn/ui). Use for complex artifacts requiring state management, routing, or shadcn/ui components - not for simple single-file HTML/JSX artifacts.

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

Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.

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

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 test-driven development. Use for designing APIs, database schemas, or backend system architecture.

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

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.

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

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

Babashka and ClojureScript runtime selection guidance by @borkdude

Apply brand colors and typography to artifacts. Use when brand colors, style guidelines, visual formatting, or company design standards apply. Ensures consistency across branded content.

Sheaves on time categories for compositional temporal reasoning. Bumpus et al. narrative framework with adhesion filter FPT algorithms and Gay.jl color integration.

Create beautiful visual art in .png and .pdf documents using design philosophy. Use when the user asks to create a poster, piece of art, design, or other static visual piece. Creates original visual designs.

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

Rust package manager (36 subcommands).

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

Automatically creates user-facing changelogs from git commits by analyzing commit history, categorizing changes, and transforming technical commits into clear, customer-friendly release notes. Turns hours of manual changelog writing into minutes of automated generation.

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 in Clojure code analysis.

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

Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.

Code refactoring patterns and techniques for improving code quality without changing behavior. Use for cleaning up legacy code, reducing complexity, or improving maintainability.

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.

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

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

```yaml name: cognitive-surrogate description: Layer 6 Barton Cognitive Surrogate System - build, train, and validate psychological models that predict and generate authentic responses matching a subject's cognitive patterns version: 1.0.0 trit: 0 # Ergodic/coordinator role in GF(3) triadic system ```

Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn, etc.) to understand what messaging, problems, and creative approaches are working. Helps inspire and improve your own ad campaigns.

Compositional algorithm and data analysis via algebraic databases

Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.

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

Assists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on each section. Transforms your writing process from solo effort to collaborative partnership.

Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.

Collaborative terminal session sharing using CRDT-style s-expressions with GF(3) trifurcated conflict resolution.

**Status**: ✅ Production Ready

Chemical Reaction Network topology for generating and analyzing reaction graph structures.

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

Database schema design, optimization, and migration patterns for PostgreSQL, MySQL, and NoSQL databases. Use for designing schemas, writing migrations, or optimizing queries.

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

Analyzes your recent Claude Code chat history to identify coding patterns, development gaps, and areas for improvement, curates relevant learning resources from HackerNews, and automatically sends a personalized growth report to your Slack DMs.

Dialectica Skill (ERGODIC 0)

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

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

DisCoPy: Python library for computing with string diagrams - monoidal categories, quantum circuits, QNLP, operads, and tensor networks.

Guide users through a structured workflow for co-authoring documentation. Use when user wants to write documentation, proposals, technical specs, decision docs, or similar structured content. This workflow helps users efficiently transfer context, refine content through iteration, and verify the doc works for readers. Trigger when user mentions writing docs, creating proposals, drafting specs, or similar documentation tasks.

Comprehensive document creation, editing, and analysis with support for tracked changes, comments, formatting preservation, and text extraction. When Claude needs to work with professional documents (.docx files) for creating new documents, modifying content, working with tracked changes, or adding comments.

Generates creative domain name ideas for your project and checks availability across multiple TLDs (.com, .io, .dev, .ai, etc.). Saves hours of brainstorming and manual checking.

DuckDB time-travel queries for temporal versioning and causality tracking

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

Temporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replay

' Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB'

FloxHub publication `bmorphism/effective-topos` - a comprehensive development environment with 606 man pages, 97 Emacs info manuals, and deep integration across Scheme (Guile/Goblins/Hoot), functional languages (OCaml, Haskell, Racket), systems tools (Rust, Go), and Gay.jl deterministic coloring.

Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.

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'

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

The eternal text editor — Didactic Ersatz Emacs demonstrating immutable data-structures and the single-atom architecture.

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 understanding context, finding duplicates, suggesting better structures, and automating cleanup tasks. Reduces cognitive load and keeps your digital workspace tidy without manual effort.

Reproducible development environments powered by Nix.

' Layer 5: Convergence to Equilibrium Analysis'

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.

Free Monad Generation Skill (PLUS +1)

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, artifacts, posters, or applications (examples include websites, landing pages, dashboards, React components, HTML/CSS layouts, or when styling/beautifying any web UI). Generates creative, polished code and UI design that avoids generic AI aesthetics.

Wide-gamut color sampling with splittable determinism using Pigeons.jl SPI pattern and LispSyntax integration.

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

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 CLI (212 man pages).

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

Distributed object capability system (6.5K lines info).

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

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

GNU Scheme interpreter (67K lines info).

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

Scheme→WebAssembly compiler (4K lines info).

FloxHub publication `bmorphism/ies` - a focused development environment for Clojure, Julia, Python, and multimedia with Gay.jl/Gay.bb deterministic coloring integration.

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 resolution, sharpness, and clarity. Perfect for preparing images for presentations, documentation, or social media posts.

' Layer 7: Interperspectival Network Analysis and Influence Flow'

Write internal communications using company formats. Use when writing status reports, leadership updates, company newsletters, FAQs, incident reports, project updates, or any internal communications.

Automatically organizes invoices and receipts for tax preparation by reading messy files, extracting key information, renaming them consistently, and sorting them into logical folders. Turns hours of manual bookkeeping into minutes of automated organization.

JavaScript and TypeScript development with ES6+, Node.js, React, and modern web frameworks. Use for frontend, backend, or full-stack JavaScript/TypeScript projects.

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.

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

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

Kan Extensions Skill (ERGODIC 0)

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

' Layer 5: SDE-Based Learning Analysis via Langevin Dynamics'

Identifies high-quality leads for your product or service by analyzing your business, searching for target companies, and providing actionable contact strategies. Perfect for sales, business development, and marketing professionals.

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

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

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

Mathpix OCR for LaTeX extraction with balanced ternary checkpoints

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

MCP tripartite integration for orchestrating distributed tool protocols

Media processing = ffmpeg + imagemagick + sox.

Analyzes meeting transcripts and recordings to uncover behavioral patterns, communication insights, and actionable feedback. Identifies when you avoid conflict, use filler words, dominate conversations, or miss opportunities to listen. Perfect for professionals seeking to improve their communication and leadership skills.

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

Network tools = tailscale + curl + ssh + nmap.

Model Nix store as Attributed C-Set for dependency verification, GC analysis, and Flox world management with Gay.jl coloring.

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

OCaml ecosystem = opam + dune + merlin + ocamlformat.

## Overview

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)

Org-mode manual (25K lines info).

Formal Proof Visualization and Verification for Lean 4

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

Comprehensive PDF manipulation toolkit for extracting text and tables, creating new PDFs, merging/splitting documents, and handling forms. When Claude needs to fill in a PDF form or programmatically process, generate, or analyze PDF documents at scale.

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

Cross-Language Strong Parallelism Invariance Verification

Presentation creation, editing, and analysis. When Claude needs to work with presentations (.pptx files) for creating new presentations, modifying content, working with layouts, adding speaker notes, or any presentation tasks.

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

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'

Modern Python development with Python 3.12+, Django, FastAPI, async patterns, and production best practices. Use for Python projects, APIs, data processing, or automation scripts.

Automate QA regression testing with reusable test skills. Create login flows, dashboard checks, user creation, and other common test scenarios that run consistently.

Picks random winners from lists, spreadsheets, or Google Sheets for giveaways, raffles, and contests. Ensures fair, unbiased selection with transparency.

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

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

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

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

WebGPU tile rendering for Rio Terminal via wgpu and sugarloaf. Extends OSC 1337 for GPU shaders in terminal regions. Use when implementing terminal graphics, custom shaders, or GPU-accelerated terminal UI.

Rubato Composer integration for Mazzola's mathematical music theory

Unified AI agent configuration propagation across 18+ coding assistants.

Rust ecosystem = cargo + rustc + clippy + rustfmt.

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

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

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.

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

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

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.

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

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.

GF(3) Triadic Task Routing for Subagent Orchestration

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

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

Toolkit for creating animated GIFs optimized for Slack, with validators for size constraints and composable animation primitives. This skill applies when users request animated GIFs or emoji animations for Slack from descriptions like "make me a GIF for Slack of X doing Y".

SLIME integration for Common Lisp development

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

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

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

Squint ClojureScript runtime for minimal JS output compilation

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

Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.

System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.

Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics

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

Mesh VPN.

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

Terminal tools = tmux + zsh + fzf + ripgrep.

Toolkit for styling artifacts with a theme. These artifacts can be slides, docs, reportings, HTML landing pages, etc. There are 10 pre-set themes with colors/fonts that you can apply to any artifact that has been creating, or can generate a new theme on-the-fly.

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

Real-time filesystem watcher for /tmp using Babashka fs. Monitors file creation, modification, and deletion events. Emits topological events based on filesystem changes. Part of music-topos consciousness bootstrap.

Terminal multiplexer.

Topos Generation Skill (PLUS +1)

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

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.

Cronin's Turing-complete chemputer for programmable chemical synthesis via XDL.

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 awesome one-liners for ephemeral Python environments with multi-package stacks

Downloads videos from YouTube and other platforms for offline viewing, editing, or archival. Handles various formats and quality options.

Toolkit for interacting with and testing local web applications using Playwright. Supports verifying frontend functionality, debugging UI behavior, capturing browser screenshots, and viewing browser logs.

Modern macOS + tripos audio loopback driver for inter-application audio routing with minimal latency.

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

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 for formulas, formatting, data analysis, and visualization. When Claude needs to work with spreadsheets (.xlsx, .xlsm, .csv, .tsv, etc) for creating new spreadsheets, reading/analyzing data, modifying existing spreadsheets, or recalculating formulas.

Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.