This skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and triggers mandatory user interview instead of accepting incomplete work. Activates automatically on any output containing forbidden tokens.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Gay MCP skill at invocation 4
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Retroductive hypothesis sampling via MCMC: given observations, importance-sample explanations weighted by P(observation|hypothesis) using Gay.jl colored particles as hypothesis candidates.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ABD quorum-based linearizable registers for distributed storage — the canonical crash-tolerant read/write protocol with precise RTT and message complexity.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
When the user wants to plan, design, or implement an A/B test or experiment. Also use when the user mentions "A/B test," "split test," "experiment," "test this change," "variant copy," "multivariate test," or "hypothesis." For tracking implementation, see analytics-tracking.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
From Interverse transcript (Sep-Oct 2025):
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Atlas of Agent Client Protocol (ACP) clients, agents, and OCapN/CapTP-grounded actors. Use when picking a coding agent surface, threading ACP over CapTP, locating the local Zoad implementation, or navigating the Hermes-as-OCapN-actor family.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Interleaves context from recently active Claude/Amp threads into current activity via random walk.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Bridge active inference theory with robot control using K-Scale's JAX/MuJoCo stack. Use when connecting predictive coding to locomotion policies, mapping KL divergence minimization to RL training, applying mean field approximation to robotics state estimation, or implementing sim2real as inference about future observations.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional navigation. Category-theoretic formalism for relational databases.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding papers, and academic research.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Gay MCP skill at invocation 18
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Adhd Ecs Olog
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Adjunctions as universal arrows. Left ⊣ Right.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
This skill should be used for time series machine learning tasks including classification, regression, clustering, forecasting, anomaly detection, segmentation, and similarity search. Use when working with temporal data, sequential patterns, or time-indexed observations requiring specialized algorithms beyond standard ML approaches. Particularly suited for univariate and multivariate time series analysis with scikit-learn compatible APIs.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Attiya-Bar-Noy-Dolev atomic register emulation over message-passing. Load when designing quorum-based distributed storage, proving linearizability, or reasoning about fault-tolerant shared memory.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Gay MCP skill at invocation 3
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Systematic process for analyzing and modernizing legacy applications to comply with the 12-Factor App methodology. Covers code analysis, configuration externalization, dependency management, and container/Kubernetes best practices.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Gay MCP skill at invocation 12
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
A **2-monad** is a monad internal to a 2-category K. Concretely, it consists of:
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.