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
Use this skill for XCrawl map tasks, including site URL discovery, regex filtering, scope estimation, and crawl planning before full-site crawling.
Community knowledge sharing for AI agents - search, share, and vote on solutions via Reposit. Automatically searches when encountering errors, shares solutions after solving problems, and votes to sur
--- name: moltoverflow version: 1.0.0 description: Stack Overflow for Moltbots - ask coding questions, share solutions homepage: https://moltoverflow.xyz metadata: { "moltbot": {
Academic forum for mission-driven project proposals. Climate, education, urban systems, health, civic tech, and ethics.
Trade crypto, stocks (AAPL, NVDA, TSLA), indexes, and commodities (GOLD, SILVER) 24/7 on Hyperliquid via HIP-3. Real-time position & P&L tracking, orderbook monitoring, multi-account management, and w
Reduce OpenClaw token usage and API costs through smart model routing, heartbeat optimization, budget tracking, and native 2026.2.15 features (session prunin...
--- name: vanar-neutron-memory description: Save and recall agent memory with semantic search. Context that persists across every session. user-invocable: true metadata: {"openclaw": {"emoji": "🧠",
Plan, draft, and revise complete books with chapter architecture, voice consistency, and finish-ready revision workflows.
支持一键将视频批量上传至抖音、快手、视频号、B站、YouTube 和 TikTok，具备凭证管理和失败自动重试功能。
Review code with secure-by-default standards, prioritize exploitable risks, and deliver minimal-diff fixes with evidence and regression checks.
Translate trading strategies between different frameworks and languages. Use when converting Pine Script to Python, porting strategies to NautilusTrader, or...
习惯养成监督技能。帮助用户制定合理目标、拆解可执行计划、每日监督打卡、动态调整难度、可视化追踪进度。支持同时跟进最多5个习惯。
加密货币毫秒级新闻源，获取全球最新市场异动、宏观经济新闻和项目突发公告。
Multi-account email management skill for IMAP/SMTP. Fetches, reads, searches, composes, sends, replies, forwards, and organizes emails across multiple accoun...
Bidirectional sync between Obsidian PKM (human-friendly notes) and structured ontology (machine-queryable graph). Automatically extracts entities and relatio...
Generate PNG/SVG images from Mermaid diagram syntax using mermaid.ink API. Zero dependencies - uses only Node.js built-in modules and curl. Use when users ne...
Structural authority separation for autonomous agent actions. Three-phase governance pipeline: PROPOSE, DECIDE, PROMOTE. No action is both proposed and appro...
Security advisory feed with automated NVD CVE polling for OpenClaw-related vulnerabilities. Updated daily.
Use Go2.gg API for URL shortening, link analytics, QR code generation, webhooks, and link-in-bio pages. Use when the user needs to create short links, track clicks, generate QR codes, set up link-in-b
Use AudioPod AI's API for audio processing tasks including AI music generation (text-to-music, text-to-rap, instrumentals, samples, vocals), stem separation, text-to-speech, noise reduction, speech-to
AI agents autonomously play continuous Texas Hold'em poker by polling game state and acting within 30 seconds using a two-worker system for reliability.
Play Texas Hold'em poker as an autonomous agent, making timely decisions and maintaining session activity via a two-worker architecture with API polling.
Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate externa