Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooling, prove a downloaded OpenMath theorem in Rocq/Coq, or verify and submit a Rocq proof.
Apply AI-assisted coding best practices when helping with programming tasks. Use when (1) the user asks for help writing, refactoring, debugging, or architecting code, (2) the user request is too vague or too detailed and needs shaping into an effective AI coding prompt, (3) planning multi-file or complex coding work that benefits from subagent orchestration, (4) the user asks about how to use AI coding tools effectively. Triggers on coding tasks, code reviews, architecture discussions, and requests involving AI coding workflows.
WeChat Mini Program development skill for building, debugging, previewing, testing, publishing, and optimizing mini program projects. This skill should be used when users ask to create, develop, modify, debug, preview, test, deploy, publish, launch, review, or optimize WeChat Mini Programs, mini program pages, components, routing, project structure, project configuration, project.config.json, appid setup, device preview, real-device validation, WeChat Developer Tools workflows, miniprogram-ci preview/upload flows, or mini program release processes. It should also be used when users explicitly mention CloudBase, wx.cloud, Tencent CloudBase, 腾讯云开发, or 云开发 in a mini program project.
科普智创审校助手。当用户提到「科普中国热点创作」「科普工作」「热点采集与科普写作」或类似意图时激活。执行以下流程：(1) 监控 kepuchina.cn 整理热门文章与关键字；(2) 根据关键字为用户拟写科普文章；(3) 执行科学性审查与引用来源核查，防止大模型幻觉。英文名：SciChina Topic Writer & Reviewer。
Use this skill to write complete, formatted academic graduation research papers and projects for the College of Computer Science and Mathematics at Tikrit University. Trigger whenever the user asks to write, create, generate, or produce a BSc graduation project, research paper, or academic document in computer science, mathematics, networking, artificial intelligence, machine learning, robotics, or any related field — especially when they mention Tikrit University, كلية علوم الحاسوب, or need a Word (.docx) output following Iraqi university standards. Also trigger when they mention chapter structure, abstract, literature review, methodology, or results sections for a CS paper. Always use this skill even if the user only mentions one part (e.g., "write the abstract" or "write Chapter One") — apply the full structure and conventions defined here.
Create music with MiniMax music models (music-2.5+, music-2.5). Use when generating songs, instrumental tracks, or chanting from lyrics and style prompts via MiniMax Music Generation API. Guides music novices through an interactive workflow to produce professional-quality music.
Add educational comments to the file specified, or prompt asking for file to comment if one is not provided.
AI 知识类海报/封面图设计生成器。根据用户提供的主题内容，自动生成 1200x1800 像素的竖版海报图片， 风格统一为深色科技感设计（暗黑背景 + 渐变强调色 + 思源宋体标题 + 思源黑体正文）。 支持 6 种模板布局：3 种封面样式（居中图标型、特性网格型、列表展示型）和 3 种内页样式（工具详情型、提示词模板型、人设系统型）。 当用户提到"做海报"、"生成封面"、"设计海报图"、"design-ads"、"广告图"、"知识卡片"、 "小红书封面"、"公众号封面"或需要任何竖版宣传图片时触发此技能。
多场景分镜文生图制作助手。使用 BizyAir API 生成故事绘本分镜场景图，支持自动追加模特提示词、自定义图片比例和批量生成。当用户需要生成分镜图、故事场景图、绘本插图或提到"分镜"、"场景图"、"绘本"时必须使用此技能。
Professional training course design for corporate L&D with ONE-CLICK generation of complete training packages including course materials, marketing copy, and assessments. Use when designing training courses, workshops, or learning programs.
Search 200,000+ open-source icons across 150+ collections — Material Design, Font Awesome, Heroicons, Lucide, and more
Get new study items for any subject. Use when: user asks for a daily lesson or new learning content. Supports any data format (language vocab, math formulas, history events, etc.). Automatically tracks learned items so they never repeat.
Learn Docker hands-on with tutorials on containers and orchestration. Use when studying Docker, practicing networking, exploring swarm mode.
"Idiom Dictionary (20 idioms). Use when you need idiom dictionary capabilities. Triggers on: idiom dictionary."
Notion模板生成器。工作空间规划、数据库设计、仪表盘布局、知识库Wiki、项目管理、个人模板。Notion template generator with workspace, database, dashboard, wiki, project.
Design beautiful GitHub profile READMEs with templates. Use when styling profiles, validating badges, generating stat widgets, formatting bio sections.
"学习计划生成器。考研计划、考证规划、每日学习、番茄钟。Study plan generator for exams, certifications, daily schedules. 学习计划、考研计. Use when you need study plan capabilities. Triggers on:."
Play knowledge quizzes with facts, categories, and daily challenges. Use when learning topics, drilling flashcards, reviewing answers, tracking progress.
笔记整理助手。康奈尔笔记法、卡片盒笔记(Zettelkasten)、思维导图笔记、会议笔记、课堂笔记、笔记整理。Note-taking with Cornell method, Zettelkasten, mind maps, meeting notes, lecture notes.
Reference tool for devtools — covers intro, quickstart, patterns and more. Quick lookup for Regex Builder concepts, best practices, and implementation patterns.
