浏览所有 Claude 技能

Dynamic Sufficiency

Prevents agent actions by verifying minimal skill coverage using ε-machine causal state modeling.

SedonaDB GeoACSets Bridge

Powers high-performance categorical geospatial operations using SedonaDB's O(log n) spatial indexing and GeoACSets.jl semantics.

Shadow Goblin

Manages complex topological structures and graph-based computational models using category theory principles.

Academic Citation Management

Simplifies academic research by automating paper discovery, metadata extraction, and BibTeX bibliography management.

DisCoPy String Diagram Functors

Evaluates monoidal functors for string diagrams to generate tensor networks, quantum circuits, and executable Python code.

Active Inference Robotics

Synthesizes Patrick Kenny's discrete active inference framework with K-Scale's JAX/MuJoCo stack for predictive robot control.

Indian Contract Analyzer

Analyzes contract formation, validity, and performance obligations under the Indian Contract Act 1872 and related statutes.

Mutual Awareness Backlink

Formalizes and analyzes bidirectional observation relationships between agents using sheaf-theoretic consistency and structured decompositions.

Dynamic Sufficiency

Gates agent actions using ε-machine causal state inference to ensure verified skill coverage before task execution.

Beads Issue Tracker

Manages complex task dependencies for AI agents using a lightweight, Git-synced issue tracking system.

Influence Propagation Analysis

Analyzes how ideas and behaviors spread through social networks using interperspectival network analysis and second-order connectivity.

Ghostty Terminal Streaming & Playback

Streams, broadcasts, and replays terminal sessions using libghostty-vt, asciinema, and web-based terminal tools.

Agno AI Agent Framework

Builds production-grade multi-agent systems, AgentOS runtimes, and MCP server integrations for advanced agentic AI development.

MCP Spec Checker

Performs semantic diffing and triadic verification on Model Context Protocol (MCP) specifications to detect breaking changes and validate compliance.

Debug Orchestrator

Coordinates complex, cross-domain debugging investigations by spawning specialized expert agents to identify root causes across full-stack architectures.

Indian Law Limitation Calculator

Calculates precise legal limitation periods and filing deadlines under the Indian Limitation Act 1963.

CatSharp Sonification

Sonify deterministic color streams and data patterns using mathematical category theory and Mazzola's Topos of Music.

Technical Learning Lab Setup

Automates the creation of isolated, Docker-based lab environments for deep technical learning and hands-on backend practice.

DuckLake Ergodic Schema Walker

Explores DuckDB and DuckLake schemas using ergodic random walks and triadic agent coordination to ensure full data reachability.

Momentum Field

Optimizes developer flow state and shipping velocity by tracking real-time productivity metrics and mitigating engineering bottlenecks.

Browser Debugging Pro

Automates the capture and analysis of browser console, network, and performance logs to streamline AI-led web application debugging.

Self-Evolving AI Agents

Implements Darwin Gödel Machine patterns to enable autonomous, self-improving AI agent architectures through open-ended evolution and lifelong learning.

ICIJ Document Analysis

Automates large-scale document processing and entity extraction using investigative journalism methodologies.

Spectral Random Walker

Discovers mathematical theorems and proof patterns by integrating spectral gap analysis with random walk theory.

Paperproof Validator

Visualizes and verifies formal Lean 4 proofs by transforming abstract code into intuitive, paper-like proof trees.

Shopify Theme Developer

Develops modern Shopify themes using Online Store 2.0 architecture, JSON templates, and modular Liquid sections.

Org-mode Mastery

Provides comprehensive access to the Org-mode manual for advanced document structuring, task management, and topological organization.

Collaborative Data Sonification

Transforms complex datasets into immersive auditory experiences using the Erie sonification grammar and multi-agent collaboration.

Citation Management

Streamlines academic research by searching scholarly databases, extracting metadata from identifiers, and generating validated BibTeX entries.

Friendly Greeting Assistant

Greets users with a welcoming, standardized message to demonstrate basic interaction capabilities within Claude Code.