Total 30,649 skills, Tools & Utilities has 4243 skills
Showing 12 of 4243 skills
Use the mcporter CLI to list, configure, auth, and call MCP servers/tools directly (HTTP or stdio), including ad-hoc servers, config edits, and CLI/type generation.
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.
获取商品在淘宝(Taobao)、天猫(TMall)、京东(JD.com)、拼多多(PinDuoDuo)、抖音(Douyin)、快手(KaiShou)的最优价格、优惠券的技能，商品价格全网对比，当用户想购物或者获取优惠信息时使用。 Get the best price, coupons for goods on Chinese e-commerce platforms, compare product prices, and use when users want to shop or get discount information.
获取每天60秒读懂世界的每日新闻，包含15条精选国内外新闻和每日微语。Use when users need daily news summaries, current events, or want to stay informed about world news in Chinese.
Feishu document read/write operations. Activate when user mentions Feishu docs, cloud docs, or docx links.
Use when "tailoring resume", "job application", "CV customization", "ATS optimization", or asking about "resume writing", "career transition", "job description matching"
Search personal markdown knowledge bases, notes, meeting transcripts, and documentation using QMD - a local hybrid search engine. Combines BM25 keyword search, vector semantic search, and LLM re-ranking. Use when users ask to search notes, find documents, look up information in their knowledge base, retrieve meeting notes, or search documentation. Triggers on "search markdown files", "search my notes", "find in docs", "look up", "what did I write about", "meeting notes about".
Integrate Feishu services to operate Bitable, documents, messages, groups, etc. Use this when users mention Feishu, Lark or need to operate Feishu-related functions.
Write/refactor the LaTeX content for the "Project Justification" section of research grant proposals. Based on a minimal information form, output the value and necessity, current limitations, scientific questions/hypotheses, and project entry points, while preserving the template structure. Suitable for writing the project justification section of NSFC and various research grant proposals.
Helper to install the official skill creator from skills.sh
Use when user says "发到飞书", "飞书通知", "通知飞书", "feishu", "发给我", "私发飞书", or explicitly invokes /send-feishu to send messages, images, or files to Feishu group chat or individual via webhook or API
Complete workflow for novel writing with NovelWeave, including command usage, best practices, and efficient writing techniques. Suitable for planning novel projects, organizing the writing process, or learning NovelWeave features.