Loading...
Loading...
Found 9,761 Skills
Saves conversation history to session log files. Use when user says "保存对话", "保存对话信息", "记录会话", "save session", or "save conversation". Automatically creates timestamped session log in sessions/ directory.
Production email service with templates, queuing, and delivery tracking. Supports transactional emails, marketing campaigns, and webhooks.
Publish and query agent profiles on ATProto. Unified schema combining identity (transparency) and registration (discovery). Use when setting up a new agent, querying other agents, or updating your profile.
Make and receive calls, transfer, bridge, and manage call lifecycle with Call Control. Includes application management and call events. This skill provides Python SDK examples.
Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) CLI and API. Supports proof verification, syntax checking, theorem extraction, code transformation (rename, merge, simplify), proof repair, and disproving. Use this skill whenever the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions axiom, axle, lean verify, proof verification, formal proof, or theorem checking -- even if they don't explicitly say "axiom" but are clearly working with Lean proofs that need machine verification.
Use learned patterns and current state to predict the optimal next action
Build RAG pipelines with Exa.ai for real-time web retrieval. Use when building retrieval-augmented generation, integrating Exa with LangChain, LlamaIndex, Vercel AI SDK, or implementing AI agents with web search capabilities. Triggers on: RAG pipeline, retrieval augmented generation, Exa LangChain, Exa LlamaIndex, ExaSearchRetriever, ExaSearchResults, Exa MCP, Exa tool calling, Claude tool use, AI agent web search, grounded generation, citation generation, fact checking, hallucination detection, OpenAI compatibility, chat completions.
Book restaurant reservations via browser automation. Use when asked to make dinner reservations, book a table, or find availability at restaurants. Supports OpenTable, Resy, and direct restaurant booking sites.
通过 EHunt Shopify 店铺查询(网关路由 `ehunt/shopify/storeQuery`)按多维度筛选独立站 Shopify 店铺(店名/域名、国家、创建年限、产品数、广告数、月访问量、月订单量、社媒粉丝等)。当用户提到 EHunt Shopify 店铺、Shopify 店铺分析、独立站店铺、Shopify seller、独立站竞品店铺、Shopify 月访问量、独立站广告库、shopify stores、Shopify store query 时触发。即使用户未写 EHunt,只要在 Shopify 独立站上找店铺、筛店铺数据或分析店铺表现,也应触发此技能。
Building reusable React state machine skills with XState v5 and the actor model
Control Alexa-enabled devices, manage routines, and configure smart home settings
Enables Claude to browse grocery stores, manage lists, and track deliveries on Instacart