Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
Idioma do texto original: inglês
Menu
O SkillsMP coletou 288 skills de xdelin/OpenClaw-Education-Skills. Abra uma skill para revisar a origem e os detalhes.
Mostrando 40 de 288 skills coletadas.
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
Idioma do texto original: inglês
"PDF to Markdown - PDF文本转Markdown工具. Use when you need pdf to markdown capabilities. Triggers on: pdf to markdown."
Idioma do texto original: chinês
"Short Drama Writer. Use when you need short drama writer capabilities. Triggers on: short drama writer."
Idioma do texto original: chinês
Personal knowledge base for capturing and retrieving information about people, places, restaurants, games, tech, events, media, ideas, and organizations. Use when: user mentions a person, place, restaurant, landmark, game, device, event, book/show, idea, or…
Idioma do texto original: inglês
Analyze any GitHub repository in AI-friendly format. Convert entire repos to single markdown documents, generate architecture diagrams with Mermaid, inspect structure trees, language breakdowns, and recent activity. Includes GitHub URL tricks, API shortcuts,…
Idioma do texto original: inglês
Use this skill when users need to search academic papers, download research documents, extract citations, or gather scholarly information. Triggers include: requests to "find papers on", "search research about", "download academic articles", "get citations…
Idioma do texto original: inglês
ACG 视角 Rust 所有权系统教学工具,通过动漫类比(ReZero、Fate 等)讲解 Rust 核心概念,降低学习门槛。
Idioma do texto original: chinês
Complete Claude Code productivity system — project setup, prompting patterns, sub-agent orchestration, context management, debugging, refactoring, TDD, and shipping 10X faster. Zero scripts needed.
Idioma do texto original: inglês
Extract calendar events, deadlines, action items, and follow-ups from emails. Works with any calendar provider (Google, Outlook, Apple, Notion, etc.). No external dependencies — pure agent intelligence. Use when the user forwards an email, asks to check inbox…
Idioma do texto original: inglês
Complete performance engineering system — profiling, optimization, load testing, capacity planning, and performance culture. Use when diagnosing slow applications, optimizing code/queries/infrastructure, load testing before launch, planning capacity, or…
Idioma do texto original: inglês
Complete photography system — exposure, composition, lighting, genre-specific workflows, editing, gear selection, portfolio building, and client management. From beginner to professional.
Idioma do texto original: inglês
Outcome-driven scientific publishing for AI agents. Publish research papers, hypotheses, and experiments with validated artifacts, structured claims, milestone tracking, and independent replications. Claim replication bounties, submit peer reviews, and…
Idioma do texto original: inglês
Structured web research framework for AI agents. Teaches your agent to conduct multi-source research, synthesize findings into actionable briefs, maintain a research library, and track evolving topics over time. Use when you need market research, competitor…
Idioma do texto original: inglês
AI research pipeline with automatic SQLite logging and Langfuse tracing
Idioma do texto original: inglês
用 AI 工具(豆包/Kimi/ChatGPT)搜索问题并将结果整理保存为 Obsidian 文档。触发场景:(1) 用户要求用 AI 搜索问题 (2) 用户要求浏览器搜索并保存到 Obsidian (3) 用户说"帮我查一下"并提到保存到笔记/文档/Obsidian
Idioma do texto original: chinês
Deep research on any topic with structured analysis, source evaluation, and synthesis. Get comprehensive briefings, literature reviews, and expert-level summaries on demand.
Idioma do texto original: inglês
[Aibrary] Create a structured personal growth plan with book recommendations, milestones, and actionable weekly tasks. Use when the user wants to create a learning plan, build a study schedule, develop a skill systematically, plan their personal or…
Idioma do texto original: inglês
[Aibrary] Generate a book summary podcast script in a single-narrator storytelling style. Use when the user wants to turn a book into a podcast, create an audio summary of a book, or generate a summary-style podcast script. The output is a narrated monologue…
Idioma do texto original: inglês
[Aibrary] Generate a curated, themed reading list with multiple books organized in a logical reading order. Use when the user wants a systematic book list on a topic, asks for a book list or reading list, wants to deeply explore a domain through multiple…
Idioma do texto original: inglês
Generate high-quality music/songs via AIMLAPI. Supports Suno, Udio, Minimax, and ElevenLabs music models. Use when the user asks for music, songs, or soundtracks with specific lyrics or styles.
Idioma do texto original: inglês
Use when live speech translation is needed with Alibaba Cloud Model Studio Qwen LiveTranslate models, including bilingual meetings, realtime interpretation, and speech-to-speech or speech-to-text translation flows.
Idioma do texto original: inglês
Create and manage Alibaba Cloud IMS video translation jobs via OpenAPI (subtitle/voice/face). Use when you need API-based video translation, status polling, and job management.
Idioma do texto original: inglês
Data analysis skill providing three core functions: data analysis, data interpretation, and data visualization. **Use Cases**: (1) Data Analysis - Statistics, filtering, aggregation, calculation (e.g., "Calculate total sales", "Filter data greater than 100")…
Idioma do texto original: inglês
API code generator. Generate RESTful endpoints, GraphQL schemas, OpenAPI/Swagger docs, API clients, mock servers, authentication, rate limiting, and test suites. Commands: rest, graphql, swagger, client, mock, auth, rate-limit, test. Use for backend…
Idioma do texto original: inglês
All-in-one Apple developer skill with three integrated tools shipped as a single unified binary. (1) Documentation search across Apple frameworks, symbols, and 1,267 WWDC sessions from 2014-2025. No credentials needed. (2) App Store Connect CLI with 120+…
Idioma do texto original: inglês
提取微信公众号、博客、新闻等网页的正文内容,绕过反爬机制,纯文本输出。
Idioma do texto original: chinês
Record公众号文章灵感、选题、半成品观点,并持续整理成可写的大纲或初稿。Use when the user says they have an article idea, topic, inspiration,选题, 钩子, 标题想法, or wants to save a thought for later writing. Also use when the user wants to append to the ongoing idea pool, rank saved ideas, or expand…
Idioma do texto original: inglês
文章摘要生成器 - 自动抓取网页文章,生成结构化摘要。支持长文简化、关键点提取、要点列表。适用于自媒体、运营、研究人员。
Idioma do texto original: chinês
Transform articles, blog posts, reports, or any text content into visually stunning, self-contained HTML infographics. Use when the user wants to convert text into an infographic, create a visual summary of an article, make a data visualization from written…
Idioma do texto original: inglês
Convert pasted articles, research reports, blog posts, and long-form content into a structured commentary video script with sections for HOOK, BODY, and LIGHT CTA. Use when the user wants article-to-script transformation for creator commentary in either short…
Idioma do texto original: inglês
利用python,指定某个arxiv_id/url, 基于 LLM Agent 对这篇arxiv论文进行分类与深度阅读,直接print打印阅读笔记
Idioma do texto original: chinês
Monitor new papers on arXiv by category. Use when user wants to check latest papers, track research topics, or manage reading lists. Trigger phrases: "check arxiv", "new papers", "arxiv category", "watch arxiv", "latest papers on".
Idioma do texto original: inglês
AI-powered code review with intelligent model routing — saves 40%+ vs always using the most expensive model
Idioma do texto original: inglês
自主研究助手 - 深度调研、交叉验证、生成引用报告
Idioma do texto original: chinês
Interact with Azure DevOps via direct REST API calls — list projects, teams, repos, work items, sprints/iterations (project-wide or scoped to a specific team), pipelines, builds, test plans, and wikis. Use this skill whenever the user mentions Azure DevOps,…
Idioma do texto original: inglês
Complete workflow: download YouTube audio, launch Doubao, play audio, capture translation. Activates when user needs full video translation.
Idioma do texto original: inglês
Access bioRxiv preprint repository for biology preprints. Use for: (1) Fetching recent preprints from specific categories like bioinformatics, genomics, molecular-biology, etc., (2) Getting papers by date range, (3) Listing available subject collections, (4)…
Idioma do texto original: inglês
Installs 425 bioinformatics skills covering sequence analysis, RNA-seq, single-cell, variant calling, metagenomics, structural biology, and 56 more categories. Use when setting up bioinformatics capabilities or when a bioinformatics task requires specialized…
Idioma do texto original: inglês
BMI计算器。BMI计算、理想体重、健康计划、体重追踪、儿童BMI、结果解读。BMI calculator with ideal weight, health plan. BMI、体重、健康。
Idioma do texto original: chinês
Enhanced BOOK BRAIN for LYGO Havens with visual capability. Use to design and maintain a 3-brain filesystem + memory system that also integrates LEFT/RIGHT brain visual checking (browser, images, screenshots) with text and API data for deeper verification and…
Idioma do texto original: inglês