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.

中文简介正在准备中。当前显示原文说明。