Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
原文の言語: 英語
メニュー
SkillsMP は xdelin/OpenClaw-Education-Skills から 288 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 288 件中 40 件を表示しています。
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
原文の言語: 英語
"PDF to Markdown - PDF文本转Markdown工具. Use when you need pdf to markdown capabilities. Triggers on: pdf to markdown."
原文の言語: 中国語
"Short Drama Writer. Use when you need short drama writer capabilities. Triggers on: short drama writer."
原文の言語: 中国語
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…
原文の言語: 英語
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,…
原文の言語: 英語
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…
原文の言語: 英語
ACG 视角 Rust 所有权系统教学工具,通过动漫类比(ReZero、Fate 等)讲解 Rust 核心概念,降低学习门槛。
原文の言語: 中国語
Complete Claude Code productivity system — project setup, prompting patterns, sub-agent orchestration, context management, debugging, refactoring, TDD, and shipping 10X faster. Zero scripts needed.
原文の言語: 英語
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…
原文の言語: 英語
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…
原文の言語: 英語
Complete photography system — exposure, composition, lighting, genre-specific workflows, editing, gear selection, portfolio building, and client management. From beginner to professional.
原文の言語: 英語
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…
原文の言語: 英語
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…
原文の言語: 英語
AI research pipeline with automatic SQLite logging and Langfuse tracing
原文の言語: 英語
用 AI 工具(豆包/Kimi/ChatGPT)搜索问题并将结果整理保存为 Obsidian 文档。触发场景:(1) 用户要求用 AI 搜索问题 (2) 用户要求浏览器搜索并保存到 Obsidian (3) 用户说"帮我查一下"并提到保存到笔记/文档/Obsidian
原文の言語: 中国語
Deep research on any topic with structured analysis, source evaluation, and synthesis. Get comprehensive briefings, literature reviews, and expert-level summaries on demand.
原文の言語: 英語
[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…
原文の言語: 英語
[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…
原文の言語: 英語
[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…
原文の言語: 英語
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.
原文の言語: 英語
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.
原文の言語: 英語
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.
原文の言語: 英語
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")…
原文の言語: 英語
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…
原文の言語: 英語
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+…
原文の言語: 英語
提取微信公众号、博客、新闻等网页的正文内容,绕过反爬机制,纯文本输出。
原文の言語: 中国語
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…
原文の言語: 英語
文章摘要生成器 - 自动抓取网页文章,生成结构化摘要。支持长文简化、关键点提取、要点列表。适用于自媒体、运营、研究人员。
原文の言語: 中国語
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…
原文の言語: 英語
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…
原文の言語: 英語
利用python,指定某个arxiv_id/url, 基于 LLM Agent 对这篇arxiv论文进行分类与深度阅读,直接print打印阅读笔记
原文の言語: 中国語
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".
原文の言語: 英語
AI-powered code review with intelligent model routing — saves 40%+ vs always using the most expensive model
原文の言語: 英語
自主研究助手 - 深度调研、交叉验证、生成引用报告
原文の言語: 中国語
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,…
原文の言語: 英語
Complete workflow: download YouTube audio, launch Doubao, play audio, capture translation. Activates when user needs full video translation.
原文の言語: 英語
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)…
原文の言語: 英語
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…
原文の言語: 英語
BMI计算器。BMI计算、理想体重、健康计划、体重追踪、儿童BMI、结果解读。BMI calculator with ideal weight, health plan. BMI、体重、健康。
原文の言語: 中国語
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…
原文の言語: 英語