开发技能

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.

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

Gay MCP skill at invocation 19

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

Interact with Axiom.trade -- a Y Combinator-backed (W25) DEX aggregator and trading platform on Solana with Hyperliquid perpetuals integration. Covers API architecture, multi-wallet management, MEV protection, token discovery, and wallet tracking.

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

Plurigrid ASI CLI for GF(3)-balanced skill selection and dispatch

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

Unified messaging via three access tiers — MCP (live API), beeper-cli (authenticated CLI), and direct SQLite→DuckDB (full archive). Search, analyze, and act across all networks.

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

Gay MCP skill at invocation 2

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

Measure encoding/decoding throughput across Syrup implementations. This skill provides bandwidth benchmarks for comparing serialization performance.

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

Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence

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

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.

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

Backend API design, database architecture, microservices patterns, and test-driven development. Use for designing APIs, database schemas, or backend system architecture.

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

Master advanced AgentDB features including QUIC synchronization, multi-database management, custom distance metrics, hybrid search, and distributed systems integration. Use when building distributed AI systems, multi-agent coordination, or advanced vector search applications.

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

Advanced AgentDB: QUIC sync, multi-database, hybrid search, MMR, context synthesis.

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

Bridge layer connecting the emerging agentic coordination protocol ecosystem (MCP, A2A, ANP, AGNTCY, AITP, LMOS, AAIF) to the plurigrid/asi skill graph. Maps protocol-level identity mechanisms (W3C DID, OAuth 2.1, IPSIE, Entra Agent ID, Agent Cards, passport.gay) into GF(3)-classified skills. The central unsolved problem — no unified identity across MCP+A2A+A2UI — is directly addressed by the bisimulation oracle composition.

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

Aptos Wallet MCP Skill

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

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

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

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.

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

Fuzzing with AFL++ for comprehensive binary and source code fuzzing.

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

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.

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

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.

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

Guided workflow for building custom AI agents using the OpenHands Software Agent SDK. Use when you want to create a new agent through an interactive interview process that gathers requirements and generates implementation plans.

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

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

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

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.

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

Gay MCP skill at invocation 18

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