Data Science & ML Claudeスキル

AgentDB Vector Search

Implements high-performance semantic vector search and intelligent document retrieval for RAG systems using AgentDB.

MCP Vector Search Configuration Guide

Provides comprehensive technical guidance for configuring semantic document search and indexing via the Model Context Protocol.

Field Agent Visualization

Generates professional, executive-ready Plotly visualizations using Treasure Data's standardized branding and strict formatting requirements.

Specter Navigator Gadget

Enables high-performance bidirectional navigation and transformation of complex nested data structures using compiled path expressions and constraint logic.

Structured Decomposition Engine

Implements Fixed-Parameter Tractable (FPT) algorithms using sheaves on tree decompositions for compositional data structures.

Structured Decompositions

Applies category theory and sheaves on tree decompositions to solve complex combinatorial problems with Fixed-Parameter Tractable (FPT) algorithms.

Topos Unified

Unifies mathematical topos-theoretic resources, category theory tools, and cognitive modeling frameworks across the filesystem.

Topos Unified

Provides unified access to topos-theoretic resources, mathematical music theory, and categorical database structures for advanced AI reasoning.

Cider Clojure Embedding

Enables semantic code navigation and intelligent completions for Clojure using vector space embeddings.

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.

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.

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 Topological SAT Solver

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

Qualitative Research Project Setup

Initializes qualitative research environments with structured epistemic foundations and standardized folder hierarchies.

Qualitative Research Project Setup

Initializes qualitative research projects by establishing philosophical foundations through Socratic dialogue and creating structured epistemic infrastructure.

Unworld Derivational Logic

Replaces temporal succession with deterministic seed-chaining for observer-independent state derivation.

Unworld

Implements deterministic seed-chaining and color derivations to replace temporal sequencing with verifiable mathematical logic.

World Hopping: Topological Navigation

Navigates complex state spaces and possible worlds using Badiou-inspired ontology and triangle inequality constraints.

World Hopping Logic

Navigates complex mathematical and ontological possibility spaces using Badiou-inspired event logic and Kripke semantics.

Interview Analyst

Conducts systematic qualitative analysis of sociological interview data using grounded theory and theory-informed frameworks.

Möbius Inversion Engine

Performs advanced Möbius inversion on partially ordered sets and lattices to solve complex combinatorial, topological, and graph-theoretic problems.

Operad Compose

Facilitates structured generation and composition of complex multi-input operations using colored operads and category theory principles.

Self-Evolving AI Agent

Implements Darwin Gödel Machine patterns to create self-improving AI agents capable of open-ended evolution and lifelong learning.

Sheaf Laplacian Coordination

Implements sheaf-theoretic neural network coordination for distributed consensus and complex graph-based multi-agent systems.

Directed Yoneda Lemma Reasoning

Implements the directed Yoneda lemma as a principle for directed path induction within synthetic infinity-categories.