plurigrid

IMO Gold Medal level Lean4 theorem proving via Harmonic API

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

From Interverse transcript (Dec 12, 2025):

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.