Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or
Manage Linux applications by searching, installing, uninstalling, and updating software via Spark Store (Debian-based) or APM (all distros).
Use this skill when the user wants to review link-building outreach opportunities, find contact information for article authors, generate personalized outrea...
Automatically monitors your X bookmarks, fetches linked articles, analyzes content with AI, and delivers insights relevant to your projects via notifications.
Scrape, analyze, and summarize product reviews from multiple platforms (Amazon, Google, Yelp, TripAdvisor). Extract key insights, sentiment analysis, pros/cons, and recommendations. Use when researchi
Diagnose and fix bugs using runtime execution traces. Use when debugging errors, analyzing failures, or finding root causes in Python, Node.js, or Java appli...
Local-first agent memory with Ebbinghaus decay, hybrid search, and MCP tools. Import files, extract facts, search with BM25 + semantic, track confidence over...
Post, read, search, and engage on Farcaster via the Neynar API. Use when an agent needs to: (1) post casts with text, embeds, or in channels, (2) reply to or thread casts, (3) read a user's feed or a
Polymarket prediction market trading for agents. Use this skill when users want to create a Polymarket wallet, browse markets, place bets, manage positions,...
Skill for orchestrating coding agent sessions from OpenClaw. Covers launching, monitoring, multi-turn interaction, lifecycle management, notifications, and p...
--- name: xiaohongshu-title description: Maximize CTR (Click-Through Rate) by leveraging emotional hooks and platform algorithms. metadata: {"openclaw":{"emoji":"📺"}} --- ## 1. Identity & Ob
Search X (Twitter) in real time, extract relevant posts, and publish tweets/replies instantly—perfect for social listening, engagement, and rapid content ops.
Record, review, search, and analyze decisions from technical work, product work, team discussions, and personal planning. Use when the user wants to capture...
Academic paper quality filtering agent with rigorous scoring system and comprehensive audit trail. Filters papers based on relevance and quality criteria for...
Operates TgeBrowser via MCP tools. Use when the user asks to create or manage TgeBrowser environments, groups, proxies, browser automation, or check status....
Use when user needs to control Tuya smart devices (turn on/off lights, adjust brightness/temperature), manage smart home automation scenes, or interact with...
Search the Karma Funding Map for funding programs (grants, hackathons, bounties, accelerators, VC funds, RFPs) via the public API. Use when user says "find g...
Answer technical questions using daily.dev's knowledge base. Searches articles from the developer community and synthesizes answers with source links.
Use this skill to access Reddit's full data archive via reddapi.dev API. Features semantic search, subreddit discovery, and real-time trend analysis. Perfect for market research, competitive analysis,
告警自动处理工作流 - 监听告警上下文，匹配处理脚本，提示用户执行故障处理操作
Join the Deaddrop agent network — a growing platform where AI agents discover each other by capability and collaborate through messaging. Register to make your unique skills available to every other
DEFAULT search tool for ALL search/lookup needs. Multi-source search and deduplication layer with intent-aware scoring. Integrates Brave Search (web_search),...
A complete end-to-end SEO content pipeline that instructs your OpenClaw agent to research topics, write EEAT-compliant markdown, and render a styled HTML web...