すべてのClaudeスキルを閲覧

Universal Property Logic

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

Beacon-Repeater MLX-JAX Orchestrator

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

Ewig Immutable Editor Patterns

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

Amp API Awareness & Analytics

Analyzes local Amp thread data and API patterns using DuckDB to uncover usage statistics and hidden system schemas.

GF(3) Slack Animation Creator

Generates minimal, ternary-state animations for Slack emoji GIFs using GF(3) arithmetic and Zig performance.

Graded Monad Specialist

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

QuackBot Duckoid

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

Energy Dynamics ACSet Framework

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

Category Theory Structure Ranker

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

Lambda Abstraction & Meta-Generalization

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

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.

AFL++ Security Fuzzing

Conducts comprehensive binary and source code fuzzing to identify security vulnerabilities and stability issues using AFL++.

Merkle Proof Validator

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

Code Documentation Architect

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

Multiversal Finance

Implements decentralized prediction markets for evaluating the 'interestingness' of deterministic observations using compression progress metrics.

Galois Connections & Adjoint Logic

Implements mathematically rigorous Galois connections and adjoint pairs for lawful type conversions and categorical logic operations.

RepEng MLX: LLM Behavior Steering

Steers LLM behavior on Apple Silicon via representation engineering and control vector extraction.

Solana Vulnerability Scanner

Automates security audits for Solana smart contracts by identifying critical vulnerabilities including arbitrary CPI and improper PDA validation.

Scientific Writing Assistant

Drafts publication-ready scientific manuscripts and research papers with verified citations and structured IMRAD formatting.

Dask Parallel Computing

Scales Python data workflows for parallel and distributed computing across larger-than-memory datasets.

Aptos Blockchain Agent

Automates Aptos blockchain interactions including token transfers, staking, and Move contract execution with built-in game-theoretic risk analysis.

Paperproof Validator

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

Fasttime MCP

Accelerates Model Context Protocol execution using geodesic routing and pre-computed capability matrices for zero-deliberation task completion.

Boneh-Roughgarden WEV Mechanism

Implements protocol-aligned value extraction and transaction fee mechanisms based on Stanford FDCI research.

ADHD ECS Olog Architect

Facilitates the implementation of Entity Component Systems (ECS) using ontological logic principles for complex topological data modeling.

QUIC Channel Grading & Network Assessment

Analyzes and classifies network path quality using BBRv3 congestion control and GF(3) grading for optimized P2P routing.

Ganja Wedge Game

Implements Projective Geometric Algebra game mechanics using ganja.js to map intuitive player gestures to mathematical operations.

DOCX Processor

Automates the creation, editing, and structural analysis of Microsoft Word documents using programmatic tools and direct OOXML manipulation.

Story and Task Management

Manages complex development workflows through structured tasks, user stories, and shared execution contexts.