Menú
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Un comando directo omite el prompt de revisión. Revisa el origen antes de ejecutarlo.
npx skills add https://github.com/majiayu000/claude-skill-registry --skill operad-composeEl comando permanece en una sola línea. Desplázate horizontalmente para revisarlo antes de copiarlo.
¿Prefieres una copia local? Descarga los archivos que SkillsMP tiene disponibles ahora.
LLM token logprobs and calibration. Per-decision confidence, ECE, Brier, reliability diagrams, low-confidence triage.
Analyze LLM token logprobs and calibration. Use for per-decision confidence, ECE, Brier scores, reliability diagrams, and low-confidence triage.
回顾最近 N 天的 Claude Code 使用记录——扫描原始会话数据，按主题分组汇总"我都做了什么"，并从个人操作系统视角输出模式、风险与增删建议。当用户说 /recap、"看看我这几天做了什么"、"回顾一下我最近的会话"、"这两天我用 claude 干了啥"、"活动回顾" 时使用。
Mostrando SKILL.md
Basado en la clasificación ocupacional SOC
| name | operad-compose |
| description | Operad Composition Skill (PLUS +1) |
| version | 1.0.0 |
Colored operad composition for structured generation
Trit: +1 (PLUS)
Color: #D82626 (Red)
Role: Generator/Creator
A colored operad O has:
c₁ c₂ c₃
\ | /
\ | /
\|/
O(c₁,c₂,c₃; c)
|
c
γ: O(c₁,...,cₙ; c) × O(d₁,...,dₘ; c₁) → O(d₁,...,dₘ,c₂,...,cₙ; c)
Substituting into the first input slot.
γ: O(c₁,...,cₙ; c) × ∏ᵢ O(dᵢ,₁,...,dᵢ,ₖᵢ; cᵢ) → O(d₁,₁,...,dₙ,ₖₙ; c)
# Musical operad for composition
struct MusicOperad
colors::Set{Symbol} # :melody, :rhythm, :harmony, :texture
operations::Dict{Tuple, Vector{Symbol}} # input colors → output color
end
# Operadic composition for music
function compose_operad(op1, op2, slot::Int)
# op1: (c₁,...,cₙ) → c
# op2: (d₁,...,dₘ) → cₛₗₒₜ
# result: (c₁,...,cₛₗₒₜ₋₁,d₁,...,dₘ,cₛₗₒₜ₊₁,...,cₙ) → c
new_inputs = vcat(
op1.inputs[1:slot-1],
op2.inputs,
op1.inputs[slot+1:end]
)
(inputs=new_inputs, output=op1.output)
end
# Colored operad with GF(3) colors
const GF3Colors = [:minus, :ergodic, :plus] # -1, 0, +1
struct GF3Operad
# Operations that conserve GF(3)
operations::Vector{NamedTuple}
end
# Valid operations sum to 0 mod 3
function valid_gf3_op(inputs::Vector{Int}, output::Int)
(sum(inputs) + output) % 3 == 0
end
# Generate all valid operations
function gf3_operations(arity::Int)
[(inputs=ins, output=out)
for ins in Iterators.product(fill(-1:1, arity)...)
for out in -1:1
if valid_gf3_op(collect(ins), out)]
end
Configuration spaces of n non-overlapping disks:
E₂(n) = { (z₁,r₁),...,(zₙ,rₙ) : disks don't overlap } / scaling
-- Little intervals operad for A∞ structure
data E1 n = E1 { intervals :: Vector n (Double, Double) }
-- Composition: splice intervals
compose :: E1 n -> Int -> E1 m -> E1 (n + m - 1)
persistent-homology (-1) ⊗ open-games (0) ⊗ operad-compose (+1) = 0 ✓
clj-kondo-3color (-1) ⊗ acsets (0) ⊗ operad-compose (+1) = 0 ✓
proofgeneral-narya (-1) ⊗ glass-bead-game (0) ⊗ operad-compose (+1) = 0 ✓
# Compose operations
just operad-mult op1 op2 slot
# Generate GF(3) operations of given arity
just operad-gf3 arity
# Visualize operad tree
just operad-tree operation
# Check operad associativity
just operad-assoc op1 op2 op3
| Domain | Operad | Colors |
|---|---|---|
| Music | Composition | melody, rhythm, harmony |
| Types | Substitution | types |
| Topology | Little disks | points |
| Logic | Cut-elimination | formulas |
| AI | Skill composition | capabilities |
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
category-theory: 139 citations in bib.duckdboperads: 5 citations in bib.duckdbThis skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Concepts: generic arithmetic, coercion, symbolic, numeric
operad-compose (○) + SDF.Ch3 (○) + [balancer] (○) = 0
Skill Trit: 0 (ERGODIC - coordination)
Generic arithmetic crosses type boundaries. This skill handles heterogeneous data.
This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 1 (PLUS)
Home: Prof
Poly Op: ◁
Kan Role: Adj
Color: #4ECDC4
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.