plurigrid

IMO Gold Medal level Lean4 theorem proving via Harmonic API

日本語の概要は準備中です。原文の説明を表示しています。

Performs initial binary triage by surveying memory layout, strings, imports/exports, and functions to quickly understand what a binary does and identify suspicious behavior. Use when first examining a binary, when user asks to triage/survey/analyze a program, or wants an overview before deeper reverse engineering.

日本語の概要は準備中です。原文の説明を表示しています。

Guide for using Beads (bd), a dependency-aware issue tracker for AI agents. Issues chained together like beads.

日本語の概要は準備中です。原文の説明を表示しています。

Run and interpret engine-stack benchmarks (Steel, ember, shale)

日本語の概要は準備中です。原文の説明を表示しています。

Efficient database search tool for bioRxiv preprint server. Use this skill when searching for life sciences preprints by keywords, authors, date ranges, or categories, retrieving paper metadata, downloading PDFs, or conducting literature reviews.

日本語の概要は準備中です。原文の説明を表示しています。

Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems.

日本語の概要は準備中です。原文の説明を表示しています。

Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions require explicit approval.

日本語の概要は準備中です。原文の説明を表示しています。

Comprehensive research corpus covering 40+ agentic coordination protocols and ecosystems (MCP, A2A, ANP, UCP, ACP, AGNTCY, NANDA, FIPA, WoT, etc.) with emphasis on identity architectures, governance bodies, and interoperability convergence patterns.

日本語の概要は準備中です。原文の説明を表示しています。

Quantum-resistant, self-learning version control for AI agents with ReasoningBank intelligence and multi-agent coordination

日本語の概要は準備中です。原文の説明を表示しています。

Build AI agents on Cloudflare Workers using the Agents SDK. Load when creating stateful agents, durable workflows, real-time WebSocket apps, scheduled tasks, MCP servers, or chat applications.

日本語の概要は準備中です。原文の説明を表示しています。

Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.

日本語の概要は準備中です。原文の説明を表示しています。

From Interverse transcript (Dec 12, 2025):

日本語の概要は準備中です。原文の説明を表示しています。

Tour of Alice's heavily-customized terminal Emacs — Causal transients, Worlding org, proof tooling, MLX chat, voice, and clipboard.

日本語の概要は準備中です。原文の説明を表示しています。

Primary Aptos testnet wallet for transaction origination. Use when initiating test transactions.

日本語の概要は準備中です。原文の説明を表示しています。

Artificial Life atlas covering open-ended evolution, chemical reaction networks, morphogenesis, self-replication, and programmable chemistry. Use when picking a simulation framework, wiring ALife models into the skill graph, or onboarding contributors to the ALife cluster.

日本語の概要は準備中です。原文の説明を表示しています。

Comprehensive Artificial Life skill combining ALIFE2025 proceedings, classic texts (Axelrod, Epstein-Axtell), ALIEN simulation, Lenia, NCA, swarm intelligence, and evolutionary computation. 337 pages extracted, 80+ papers, 153 figures.

日本語の概要は準備中です。原文の説明を表示しています。

ALIFE 2025 Proceedings - 337 pages, 80+ papers on artificial life, evolution, emergence, cellular automata, neural networks, agent-based models. Full Mathpix extraction with equations and figures.

日本語の概要は準備中です。原文の説明を表示しています。

Access AlphaFold's 200M+ AI-predicted protein structures. Retrieve structures by UniProt ID, download PDB/mmCIF files, analyze confidence metrics (pLDDT, PAE), for drug discovery and structural biology.

日本語の概要は準備中です。原文の説明を表示しています。

Amazon product search, cart management, price tracking, and shopping list via Playwright + DuckDB MCP server

日本語の概要は準備中です。原文の説明を表示しています。

Extract hidden Amp API patterns from local thread data via DuckDB analysis

日本語の概要は準備中です。原文の説明を表示しています。

Combines AMP thread export with GF(3)-classified continuation for skill orchestration. Export threads as markdown, classify continuation choices as {-1:reductive, 0:neutral, +1:generative}, and fork parallel execution paths.

日本語の概要は準備中です。原文の説明を表示しています。

Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.

日本語の概要は準備中です。原文の説明を表示しています。

When the user wants to set up, improve, or audit analytics tracking and measurement. Also use when the user mentions "set up tracking," "GA4," "Google Analytics," "conversion tracking," "event tracking," "UTM parameters," "tag manager," "GTM," "analytics implementation," or "tracking plan." For A/B test measurement, see ab-test-setup.

日本語の概要は準備中です。原文の説明を表示しています。

This skill should be used when working with annotated data matrices in Python, particularly for single-cell genomics analysis, managing experimental measurements with metadata, or handling large-scale biological datasets. Use when tasks involve AnnData objects, h5ad files, single-cell RNA-seq data, or integration with scanpy/scverse tools.

日本語の概要は準備中です。原文の説明を表示しています。