From asi
Provides Chicken Scheme Hatchery eggs like SRFIs for lists, random numbers, math, colors, and papers on colored operads, 2D type theory, spectral mixing for color logic and 2TDX.
npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
Relevant eggs from http://wiki.call-cc.org/ and https://eggs.call-cc.org/:
Provides Geiser REPL integration for Chicken Scheme with SplitMix64 RNG, ternary 3-coloring for graphs, Penrose diagram generation, and crdt.el sexp patterns.
Guides Next.js Cache Components and Partial Prerendering (PPR): 'use cache' directives, cacheLife(), cacheTag(), revalidateTag() for caching, invalidation, static/dynamic optimization. Auto-activates on cacheComponents: true.
Guides building MCP servers enabling LLMs to interact with external services via tools. Covers best practices, TypeScript/Node (MCP SDK), Python (FastMCP).
Share bugs, ideas, or general feedback.
Relevant eggs from http://wiki.call-cc.org/ and https://eggs.call-cc.org/:
| SRFI | Name | Use |
|---|---|---|
| SRFI-1 | List library | List operations |
| SRFI-4 | Homogeneous vectors | Color arrays |
| SRFI-9 | Records | Structured data |
| SRFI-18 | Multithreading | Parallel color streams |
| SRFI-27 | Random numbers | Base RNG |
| SRFI-69 | Hash tables | Color caching |
;; From SRFI-194
(import (srfi 194))
;; Custom generator for SplitMixTernary
(define (make-ternary-generator seed)
(let ((rng (make-splitmix64 seed)))
(lambda () (splitmix-ternary rng))))
From https://wiki.call-cc.org/eggref/5/math:
(import (math base))
(import (math flonum))
| Egg | Description |
|---|---|
colors | Color space conversions |
cairo | Vector graphics |
opengl | 3D graphics |
"Theta Theory: operads and coloring" (Marcolli & Larson, 2025)
"On the homotopy theory of equivariant colored operads" (Bonventre & Pereira, 2021)
"Combinatorial Homotopy Theory for Operads" (Obradović, 2019)
"Operads: Hopf algebras and coloured Koszul duality" (van der Laan, 2004)
"Higher Observational Type Theory" (Altenkirch, Kaposi, Shulman)
"Narya: A proof assistant for higher-dimensional type theory" (Shulman et al., 2025)
"2-dimensional TFTs via modular ∞-operads" (Steinebrunner, 2025)
Ramanujan Graphs (Lubotzky, Phillips, Sarnak)
"Mixing Time of Markov Chains"
;; gay.el can interface with Narya for type checking
;; Narya provides observational bridge types
(require 'gay)
;; Create bridge type with color observation
(defun gay-narya-bridge (source target)
"Create Narya-style observational bridge."
(gay-bridge-create
:source source
:target target
:transport 'narya-transport
:color nil
:version 0))
;;; Colored operad implementation
(define-record-type colored-operad
(make-colored-operad colors operations composition)
colored-operad?
(colors colored-operad-colors)
(operations colored-operad-operations)
(composition colored-operad-composition))
;; GF(3) conservation as coloring constraint
(define (gf3-colored-merge op1 op2)
(let ((c1 (operation-color op1))
(c2 (operation-color op2)))
(make-operation
(merge-trees (operation-tree op1) (operation-tree op2))
(modulo (- (+ c1 c2)) 3)))) ; Balance to 0
The 3-shadow system maps to colored operad structure:
| Shadow | Polarity | Operad Color | Type Role |
|---|---|---|---|
| MINUS (-1) | Contravariant | Input | Domain |
| ERGODIC (0) | Neutral | Identity | Transport |
| PLUS (+1) | Covariant | Output | Codomain |
just chicken-eggs # List installed eggs
just install-math-egg # Install math egg
just narya-check # Type check with Narya
just operad-color # Demonstrate colored operad
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
general: 734 citations in bib.duckdbThis skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.