すべてのClaudeスキルを閲覧

BioServices Bioinformatics Toolkit

Provides programmatic access to over 40 bioinformatics web services for biological data retrieval, identifier mapping, and pathway analysis.

Quillen Model Category Framework

Implements and manages Quillen model category structures for formal homotopy theory and mathematical modeling.

K-Scale Robotics Ecosystem

Provides a comprehensive open-source framework for building, training, and deploying humanoid robots using reinforcement learning and sim-to-real transfer.

Skill Tour

Navigates and discovers capabilities across large skill ecosystems using advanced graph-theoretic traversal patterns.

Burp Suite Security Testing

Facilitates comprehensive web application security testing and vulnerability assessment using Burp Suite methodologies.

Operad Composition

Models complex multi-input operations and topological structures using operadic principles for advanced system composition.

Presheaf Topos Modeling

Implements and explores presheaf toposes as contravariant set-valued functors for categorical logic and structural data modeling.

Legal Opinion Drafter for Indian Law

Drafts professional, structured legal opinions and research memoranda following Indian legal standards and citation formats.

Terrateam GitOps Guide

Automates Terraform and OpenTofu workflows using GitOps principles through GitHub pull requests.

Developer Specialist

Accelerates software development using TDD, minimal diffs, and context-driven design to ensure high-quality, maintainable code.

CheerpX Self-Hosting

Virtualizes x86 Linux binaries in the browser using WebAssembly to enable self-hosted development environments and deterministic execution.

Universal Property Logic

Applies category theory and unique factorization principles to ensure structural integrity in complex systems.

Infrastructure Software Upgrade Guide

Streamlines the planning and execution of reliable infrastructure upgrades by analyzing changelogs and identifying breaking changes.

Beacon-Repeater MLX-JAX Orchestrator

Orchestrates bidirectional MLX-JAX workflows using spectral gap analysis and topological life pattern resurrection.

Ghostty Terminal Manager

Automates Ghostty terminal management by controlling windows, tabs, splits, and configurations through CLI commands.

Ewig Immutable Editor Patterns

Demonstrates immutable data structures and single-atom architecture in C++ for building high-performance text editors.

Graded Monad Specialist

Implements and manages graded monads for tracked computational effects and 2-categorical structures in advanced functional programming.

Energy Dynamics ACSet Framework

Manages and optimizes computational skills using physics-motivated information theory and categorical data structures.

QuackBot Duckoid

Architects low-cost, wobbling duckoid robots capable of generating nonstandard musical compositions using xenharmonic scales.

Category Theory Structure Ranker

Maps and ranks categorical structures from sets to ∞-topoi while identifying gaps in formalization and skill coverage.

Code Testability Reviewer

Audits codebases for testability design patterns and identifies business logic entangled with side effects.

Lambda Abstraction & Meta-Generalization

Facilitates meta-level generalization and pattern abstraction using the Lambda calculus framework.

API Design Principles

Implements industry-standard REST and GraphQL architectural patterns to build scalable, maintainable, and developer-friendly APIs.

Interactome RL Environment

Simulates and models open-source contributor network dynamics using category-theoretic reinforcement learning and ACSet-native MDPs.

Kimi Code CLI Helper

Simplifies the Kimi Code CLI experience by providing real-time documentation, configuration assistance, and troubleshooting support.

Security Scanning

Automates vulnerability detection across codebases, dependencies, and secrets using industry-standard security tools.

Code Documentation Architect

Standardizes and automates the creation of professional READMEs, API references, and architectural records.

Just Monad Task Orchestrator

Orchestrates complex task workflows by treating Justfile recipes as compositional free monads.

FastAPI Project Templates

Generates production-ready FastAPI project structures featuring asynchronous patterns, dependency injection, and scalable architecture.

Merkle Proof Validator

Validates cryptographic Merkle inclusion proofs to verify data integrity and membership without full tree access.