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:
日本語の概要は準備中です。原文の説明を表示しています。