Adoption

Agent Skills are supported by leading AI development tools.

VS Code Gemini CLI GitHub Goose Amp Cursor Claude Code Letta OpenCode Claude OpenAI Codex Factory VS Code Gemini CLI GitHub Goose Amp Cursor Claude Code Letta OpenCode Claude OpenAI Codex Factory

plurigrid/discohy-streams

Name: discohy-streams
Author: plurigrid

ies/music-topos/.claude/skills/discohy-streams/SKILL.md

npx skillsauth add plurigrid/asi discohy-streams

Clean

TrivyContainer and dependency vulnerability scanner

Clean

SemgrepStatic code analysis for vulnerabilities

Clean

mcp-scan (Snyk)Model Context Protocol security validation

Skipped

Snyk (dep)Open source security scanning

Skipped

Socket.devSupply chain security analysis

Skipped

VirusTotalMulti-engine malware detection

Skipped

CrowdStrikeAdvanced threat intelligence

Skipped

OSV-ScannerOpen Source Vulnerability database check

Skipped

OWASP Dep-Check

discohy-streams - Discopy Color Streams via Hy

Overview

Provides personalized color streams using discopy categorical diagrams via Hy (discohy). Each human gets a self-learning color embedding with 3 parallel streams.

Core Concepts

3 Parallel Streams (Balanced Ternary)

color://human-id/LIVE      → +1 (forward, real-time)
color://human-id/VERIFY    →  0 (verification, BEAVER)
color://human-id/BACKFILL  → -1 (historical, archived)

Discopy Integration

;; Create color chain diagram
(import [discopy.monoidal [Ty Box]])
(setv Color (Ty "Color"))
(setv boxes [(Box "C1" Color Color)
             (Box "C2" Color Color)
             (Box "C3" Color Color)])
(setv diagram (>> (get boxes 0) (get boxes 1) (get boxes 2)))

GayMCP color:// Resource

color://alice           → All 3 streams simultaneously
color://alice/LIVE      → Current LIVE color
color://alice/VERIFY/5  → Time travel to index 5

Usage

#!/usr/bin/env hy
(import [gay_world_ducklake [create-gay-world color-at]])

;; Create world
(setv world (create-gay-world 0x42D))

;; Get surface for human
(setv surface (.get-or-create-surface (get world "world") "bob"))

;; Get simultaneous colors
(setv colors (.get-simultaneous-colors surface))

;; Access via MCP
(setv mcp (get world "mcp"))
(.get-resource mcp "color://bob/LIVE")

Self-Learning Embedding

Each stream maintains a learnable embedding for color preferences:

(setv stream surface.live-stream)

;; Generate color
(setv color (.next-color stream))

;; Learn from preference
(.learn stream color True)   ; liked
(.learn stream color False)  ; disliked

;; Get prediction
(.predict stream color)  ; → 0.0-1.0

Time Travel

;; Travel to specific index
(.time-travel surface 10 "LIVE")

;; Mark pattern as disallowed
(.mark-disallowed surface 10 5 TAP-LIVE)

;; Attempt disallowed travel → error
(.time-travel surface 5 "LIVE")

DuckDB Integration

-- Query color history
SELECT * FROM color_history
WHERE stream_id LIKE 'alice%'
ORDER BY timestamp DESC;

-- View time travel log
SELECT * FROM time_travel_log
WHERE status = 'DISALLOWED';

Configuration

[discohy-streams]
seed = 1069  # 0x42D
streams = ["LIVE", "VERIFY", "BACKFILL"]
learning_rate = 0.1
db_path = ":memory:"

plurigrid/discohy-streams

ies/music-topos/.claude/skills/discohy-streams/SKILL.md

DisCoPy categorical color streams via Hy with 3 parallel TAP streams

16 stars

development

Updated Apr 11, 2026

$ install --global

skillsauth

npx skillsauth add plurigrid/asi discohy-streams

Install this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.

Security Scan Results

3 of 9 scanners reported clean

Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.

Scanners Passed

Scanners in report

Clean

TrivyContainer and dependency vulnerability scanner

95%

Clean

SemgrepStatic code analysis for vulnerabilities

95%

Clean

mcp-scan (Snyk)Model Context Protocol security validation

95%

Skipped

Snyk (dep)Open source security scanning

50%

Skipped

Socket.devSupply chain security analysis

50%

Skipped

VirusTotalMulti-engine malware detection

50%

Skipped

CrowdStrikeAdvanced threat intelligence

50%

Skipped

OSV-ScannerOpen Source Vulnerability database check

50%

Skipped

OWASP Dep-Check

50%

Last scanned: Apr 11, 2026, 2:44 AM16.8s1 file scanned

SKILL.md

name:: discohy-streams
description:: DisCoPy categorical color streams via Hy with 3 parallel TAP streams

discohy-streams - Discopy Color Streams via Hy

Overview

Provides personalized color streams using discopy categorical diagrams via Hy (discohy). Each human gets a self-learning color embedding with 3 parallel streams.

Core Concepts

3 Parallel Streams (Balanced Ternary)

color://human-id/LIVE      → +1 (forward, real-time)
color://human-id/VERIFY    →  0 (verification, BEAVER)
color://human-id/BACKFILL  → -1 (historical, archived)

Discopy Integration

;; Create color chain diagram
(import [discopy.monoidal [Ty Box]])
(setv Color (Ty "Color"))
(setv boxes [(Box "C1" Color Color)
             (Box "C2" Color Color)
             (Box "C3" Color Color)])
(setv diagram (>> (get boxes 0) (get boxes 1) (get boxes 2)))

GayMCP color:// Resource

color://alice           → All 3 streams simultaneously
color://alice/LIVE      → Current LIVE color
color://alice/VERIFY/5  → Time travel to index 5

Usage

#!/usr/bin/env hy
(import [gay_world_ducklake [create-gay-world color-at]])

;; Create world
(setv world (create-gay-world 0x42D))

;; Get surface for human
(setv surface (.get-or-create-surface (get world "world") "bob"))

;; Get simultaneous colors
(setv colors (.get-simultaneous-colors surface))

;; Access via MCP
(setv mcp (get world "mcp"))
(.get-resource mcp "color://bob/LIVE")

Self-Learning Embedding

Each stream maintains a learnable embedding for color preferences:

(setv stream surface.live-stream)

;; Generate color
(setv color (.next-color stream))

;; Learn from preference
(.learn stream color True)   ; liked
(.learn stream color False)  ; disliked

;; Get prediction
(.predict stream color)  ; → 0.0-1.0

Time Travel

;; Travel to specific index
(.time-travel surface 10 "LIVE")

;; Mark pattern as disallowed
(.mark-disallowed surface 10 5 TAP-LIVE)

;; Attempt disallowed travel → error
(.time-travel surface 5 "LIVE")

DuckDB Integration

-- Query color history
SELECT * FROM color_history
WHERE stream_id LIKE 'alice%'
ORDER BY timestamp DESC;

-- View time travel log
SELECT * FROM time_travel_log
WHERE status = 'DISALLOWED';

Configuration

[discohy-streams]
seed = 1069  # 0x42D
streams = ["LIVE", "VERIFY", "BACKFILL"]
learning_rate = 0.1
db_path = ":memory:"

Related Skills

plurigrid/bdd-mathematical-verification

development

VerifiedTrustedCommunity

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.

16SKILL.mdUpdated Apr 11, 2026

plurigrid/bdd-mathematical-verification

plurigrid/Skill Maker: AI Skill Factory for Tools

tools

VerifiedTrustedCommunity

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

16SKILL.mdUpdated Apr 11, 2026

plurigrid/Skill Maker: AI Skill Factory for Tools

plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity

development

VerifiedTrustedCommunity

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

16SKILL.mdUpdated Apr 11, 2026

plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity

plurigrid/yoneda-directed

development

VerifiedTrustedCommunity

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

16SKILL.mdUpdated Apr 11, 2026

plurigrid/yoneda-directed

Download

For Claude Desktop. Download once, then upload the file in the app — no terminal needed.

Need help? View full Cowork setup guide →

Install manually

Choose your platform

# Clone the repo
git clone https://github.com/plurigrid/asi.git

# Copy into Claude Code skills folder (global)
cp -r asi/ies/music-topos/.claude/skills/discohy-streams ~/.claude/skills/

Claude Code Skills — official skills path docs.

Repository

plurigrid/asi

16 stars

Compatible with

Claude Code

OpenAI Codex CLI

ChatGPT

Adoption

plurigrid/discohy-streams

$ install --global

Security Scan Results

SKILL.md

discohy-streams - Discopy Color Streams via Hy

Overview

Core Concepts

3 Parallel Streams (Balanced Ternary)

Discopy Integration

GayMCP color:// Resource

Usage

Self-Learning Embedding

Time Travel

DuckDB Integration

Configuration

See Also

Related Skills

plurigrid/bdd-mathematical-verification

plurigrid/Skill Maker: AI Skill Factory for Tools

plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity

plurigrid/yoneda-directed

plurigrid/discohy-streams

$ install --global

Security Scan Results

SKILL.md

discohy-streams - Discopy Color Streams via Hy

Overview

Core Concepts

3 Parallel Streams (Balanced Ternary)

Discopy Integration

GayMCP color:// Resource

Usage

Self-Learning Embedding

Time Travel

DuckDB Integration

Configuration

See Also

Related Skills

plurigrid/bdd-mathematical-verification

plurigrid/Skill Maker: AI Skill Factory for Tools

plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity

plurigrid/yoneda-directed