topos-skills

Plugin topos-skills in plurigrid/asi. Commands read from the repo's manifest — 1 month ago.

Skills (34)

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

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

• bisimulation-game

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

• bmorphism-stars

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

• borkdude

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

• cider-clojure

  CIDER integration for Clojure development with nREPL

• cider-embedding

  Semantic embeddings for Clojure code navigation via CIDER

• clj-kondo-3color

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

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

• codex-self-rewriting

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

• epistemic-arbitrage

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

• frontend-design

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

• gay-mcp

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

• geiser-chicken

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

• glass-bead-game

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

• hatchery-papers

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

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

• mathpix-ocr

  Mathpix OCR for LaTeX extraction with balanced ternary checkpoints

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

• proofgeneral-narya

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

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

• rubato-composer

  Rubato Composer integration for Mazzola's mathematical music theory

• self-validation-loop

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

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

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

• slime-lisp

  SLIME integration for Common Lisp development

• spi-parallel-verify

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

• squint-runtime

  Squint ClojureScript runtime for minimal JS output compilation

• three-match

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

• triad-interleave

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

• unworld

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

• unworlding-involution

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

• world-hopping

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

• xenodium-elisp

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