모든 Claude 스킬 탐색

IES Polyglot Social Analytics

Orchestrates polyglot development environments for social data analysis and multimedia processing using Clojure, Julia, and DuckDB.

DeepWiki GitHub AI Documentation

Provides AI-powered documentation and context-aware Q&A for public GitHub repositories.

Color Envelope Preserving

Enforces GF(3) ternary color conservation across data navigation paths to ensure deterministic traversal and structural integrity.

Bmorphism Stars & Research Index

Indexes a curated collection of applied category theory, MCP servers, and high-performance functional programming resources.

Flix-Datalog Reasoning

Implements Flix-based Datalog reasoning with lattice semantics and GF(3) coloring for declarative routing and skill composition.

LLM Application Development

Builds sophisticated AI-powered applications using advanced prompt engineering, RAG patterns, and multi-provider LLM integrations.

Bisimulation Game & Multi-Agent Skill Dispersal

Ensures resilient skill synchronization and state equivalence across multiple AI agents using ternary conservation laws.

Open Games Compositional Logic

Models and composes complex strategic games using categorical Para/Optic structures and game theory semantics.

Mathpix OCR & ACSet Extraction

Converts mathematical documents and images into structured LaTeX and ACSet data models using resilient balanced ternary checkpoints.

Gödel Machine Self-Improvement

Implements self-improving AI systems using formal verification and evolutionary search to safely enhance agent performance.

Cognitive Surrogate

Builds, trains, and validates high-fidelity psychological models from interaction patterns to simulate cognitive behavior and intellectual trajectories.

Pulse Social Stream Monitor

Monitors real-time social media streams via MCP and persists engagement data using DuckDB for advanced analytical insights.

Rubato Composer - Mathematical Music Theory

Integrates Rubato Composer to enable mathematical music composition and analysis using the Topos of Music framework.

Möbius Path Filter

Classifies and filters dependency graph paths using Möbius inversion to optimize proof structures and resolve circular logic.

MCP Tripartite Orchestrator

Orchestrates Model Context Protocol (MCP) servers using a mathematical 3-partite framework to ensure balanced tool integration and data validation.

ProofGeneral Narya

Facilitates higher-dimensional type theory and formal verification using observational bridge types and structured proof assistants.

Geohash Coloring & Spatial Indexing

Generates deterministic GF(3) colored identifiers for hierarchical spatial indexing and location-based clustering.

Formal Verification AI

Provides rigorous correctness guarantees for AI systems through automated theorem proving, interval arithmetic, and categorical proofs.

Sheaf Cohomology Verification

Verifies global consistency across modular codebases using topological sheaf cohomology and Čech descent conditions.

Forward-Forward Learning

Implements Geoffrey Hinton's Forward-Forward algorithm to enable local, layer-wise neural network training without backpropagation.

Ramanujan Expander & Spectral Analysis

Constructs and verifies Ramanujan graphs to ensure optimal spectral expansion and network mixing times.

Long-Form Video Mastery

Optimizes YouTube long-form content for maximum watch time, SEO rankings, and viral potential through data-driven growth strategies.

Sheaf Cohomology BCI Consistency

Ensures local-to-global signal consistency in Brain-Computer Interface data using cellular sheaves and Cech cohomology.

CatColab Ologs

Constructs category-theoretic knowledge representations to define rigorous database schemas and conceptual models.

Turing Chemputer

Coordinates programmable chemical synthesis by executing Turing-complete XDL programs on modular robotic hardware.

Cognitive Surrogate

Builds, trains, and validates high-fidelity psychological models from interaction patterns to predict cognitive trajectories and generate authentic responses.

Dialectica Logic Engine

Transforms logical proofs into interactive game-theoretic strategies for witness extraction and formal verification.

Slime Common Lisp

Enables professional Common Lisp development workflows by integrating SLIME-style interactive evaluation and environment management.

Sheaf Cohomology Verification

Verifies the global consistency of modular code structures and data schemas using mathematical Čech cohomology principles.

Kan Extensions Schema Migrator

Automates universal schema migrations and data transformations using advanced category theory principles.