浏览所有 Claude 技能

GitHub Copilot for Claude

Integrates GitHub Copilot's advanced coding capabilities into Claude for high-performance code analysis, debugging, and refactoring.

Gay-MCP Deterministic Color & Trit Generator

Generates mathematically deterministic color palettes and ternary logic mappings using SplitMix64 and the golden angle.

Gay-MCP Deterministic Color System

Generates mathematically deterministic color palettes and GF(3) trits using SplitMix64 for perfectly reproducible design systems.

Deterministic Color Engine (Gay-MCP)

Generates mathematically deterministic color palettes and GF(3) trit mappings for reproducible design systems.

Chicken Scheme Geiser Toolkit

Integrates Chicken Scheme with Geiser REPL to provide 3-coloring algorithms, collaborative sexp patterns, and Penrose diagram generation.

LocalSend MCP Transfer

Facilitates automated peer-to-peer file transfers and peer discovery using the LocalSend protocol and MCP architecture.

Glass Bead Game Synthesis

Facilitates interdisciplinary synthesis between mathematics, music, and philosophy using category theory and topological logic.

Glass Bead Game Synthesis

Synthesizes complex connections between mathematics, music theory, and philosophy using formal category theory and ontological frameworks.

Hatchery & Papers Research Guide

Provides a comprehensive library of Chicken Scheme eggs and academic research for topological computing and higher-dimensional type theory.

Mathpix OCR & LaTeX Pipeline

Extracts LaTeX and structural ACSet data from mathematical documents using Mathpix and balanced ternary checkpoints.

Mathpix OCR LaTeX Extraction

Extracts LaTeX and mathematical structures from images and PDFs using high-precision OCR and balanced ternary checkpoints.

ProofGeneral Narya: Higher-Dimensional Type Theory

Automates higher-dimensional formal verification and version control using observational type theory and hierarchical agent structures.

ProofGeneral & Narya HOTT Assistant

Integrates higher-dimensional type theory and formal proof assistants into development workflows using observational bridge types.

Rama Gay Clojure Backend Scaling

Streamlines Red Planet Labs Rama backend development using deterministic 3-color streams for visual debugging and scalable distributed processing.

Rama Clojure Backend & Color Tracing

Accelerates backend development using Rama's scalable architecture and Gay.jl's deterministic color-stream tracing for distributed systems.

Rubato Composer: Mathematical Music Theory

Integrates Guerino Mazzola's Topos of Music framework to enable categorical music analysis and mathematical composition.

Rubato Composer Integration

Integrates Guerino Mazzola's mathematical music theory and the Topos of Music framework into Claude for advanced computational composition.

Triadic Color Validation

Validates triadic color systems using predictive loops and active inference to ensure compositional coherence.

SLIME Common Lisp Integration

Integrates Superior Lisp Interaction Mode (SLIME) capabilities into Claude for interactive Common Lisp development and evaluation.

SPI Parallel & GF(3) Verifier

Ensures mathematical consistency and execution order invariance for deterministic color streams and tripartite data.

SPI Parallel Verification

Verifies Strong Parallelism Invariance and GF(3) conservation to ensure deterministic execution across parallel 3-way color streams.

SPI Parallelism Verification

Verifies Strong Parallelism Invariance (SPI) and GF(3) conservation across deterministic data streams to ensure execution-order independence.

Squint Runtime

Compiles light-weight ClojureScript to JavaScript with minimal runtime overhead for high-performance scripts and seamless interop.

Squint ClojureScript Runtime

Compiles ClojureScript to lightweight, native JavaScript with minimal runtime overhead for high-performance web development.

Three-Match 3-SAT Solver

Reduces 3-SAT problems to colored subgraph isomorphism using non-backtracking geodesics and Möbius filtering.

Three-Match SAT Resolver

Reduces 3-SAT problems to colored subgraph isomorphisms using non-backtracking geodesics and Möbius filtering.

Three-Match Topological 3-SAT Solver

Reduces complex 3-SAT problems to colored subgraph isomorphisms using topological geodesics and Möbius filtering.

Three-Match 3-SAT & Subgraph Optimizer

Solves 3-SAT problems and optimizes execution paths using colored subgraph isomorphism and Möbius-filtered geodesics.

Three-Match Topological SAT Solver

Reduces complex 3-SAT problems to colored subgraph isomorphism using non-backtracking geodesics and Möbius filtering.

Triad Interleave Schedule Generator

Interleaves three deterministic color streams into balanced schedules for parallel execution using GF(3) validation.