探索我们完整的 Claude 技能集合,扩展 AI 代理的能力。
Manages and executes automated workflow hooks at critical phase boundaries within the FABER development lifecycle.
Architects and implements high-quality Model Context Protocol (MCP) servers to bridge LLMs with external APIs and services.
Interleaves context-aware Mermaid diagrams into interactions using GF(3) triadic selection logic.
Automatically regenerates and synchronizes project documentation from marketplace metadata using Jinja2 templates.
Automates comprehensive North American mountain route research and generates detailed beta reports with weather, avalanche conditions, and trip logs.
Bridges classical music theory with quantum computing to compose and perform algorithmic music using quantum circuits and ZX-calculus.
Transforms complex Lean 4 formal proofs into intuitive, paper-like visual structures for enhanced verification and logic comprehension.
Generates comprehensive, test-driven implementation plans that break down complex requirements into bite-sized, executable tasks.
Generates standardized PRISMA 2020 flow diagrams to document the study selection process in systematic literature reviews.
Automates web browsers using deterministic seed-based state derivation to eliminate flaky tests and race conditions.
Bridges Scholze-Clausen condensed mathematics and analytic stacks to sheaf neural networks via 6-functor formalisms.
Provides expert guidance and command assistance for the Jujutsu (JJ) version control system to streamline developer workflows.
Automates the creation and optimization of GitLab CI/CD pipelines using production-grade patterns for testing, building, and deployment.
Generates deterministic behavioral patterns using seed chaining and GF(3) conservation laws as a high-speed alternative to temporal training.
Deploys a documentation-rich development environment featuring Scheme, functional languages, and advanced systems tools.
Implements professional testing strategies for Python applications using pytest, advanced mocking, and test-driven development best practices.
Implements robust command-line interfaces in Rust using the latest Clap v4 patterns and idiomatic practices.
Provides high-performance bidirectional data navigation and transformation for Julia collections, S-expressions, and ACSets.
Implements a logic-agnostic programming environment based on interaction nets and Girard's transcendental syntax.
Implements distributed tracing with Jaeger and Tempo to track requests across microservices and identify performance bottlenecks.
Implements scalable Supabase Realtime features using high-performance broadcast patterns, secure RLS authorization, and automated database triggers.
Axiomatizes the directed interval 0 → 1 to model irreversible processes and time-directed homotopy in synthetic infinity-categories.
Transforms software quality into a measurable gradient to drive continuous improvement through mathematical optimization and anti-pattern detection.
Navigates complex state spaces and possible worlds using Badiou-inspired ontology and triangle inequality constraints.
Automates systematic data profiling and exploration across multiple SQL database dialects.
Maps and analyzes collaborations across the Plurigrid ecosystem, Topos Institute, and AlgebraicJulia research communities.
Manages AWS S3 file operations including uploads, downloads, and presigned URL generation within Claude Code.
Analyzes and demystifies unfamiliar legacy codebases using systematic investigative techniques to recover lost context and intent.
Provides comprehensive guidance and implementation patterns for writing robust unit tests for shell scripts using the Bash Automated Testing System.
Facilitates prediction markets for protocol standard evolution using multiverse finance and GF(3) fitness signals.
Scroll for more results...