Implement comprehensive mathematical theorem proving capabilities with SFT+GRPO training, MCP/A2A agent integration, and imatrix quantization protection to surpass Boreas-phi3.5-instinct-jp in formal proof generation and scientific discovery. Use when building mathematical reasoning systems, formal verification tools, or AI-assisted theorem proving environments.

将 Java 项目转换为标准 Maven 结构，自动重组目录、转换包名（test→example）并生成 pom.xml。当用户需要将非 Maven Java 项目转换为 Maven 项目、重构现有项目为 Maven 标准结构，或请求 Maven 项目设置/转换时使用此技能。

Coding specialist for COMAP MCM/ICM Problem C (C题数据处理与建模落地). Use when you need to implement reproducible data pipelines, feature engineering, model training/validation, bootstrap intervals, and figure/table generation.

Statistical/data-analysis modeling lead for COMAP MCM/ICM Problem C. Use when you need to interpret C题需求、检查题目数据是否足够/是否允许外生数据、制定可验证的统计/机器学习建模方案，并输出不确定性区间与稳健性分析。

Sanity-check & validation specialist for COMAP MCM/ICM Problem C. Use when you need to check whether results are plausible, stable, non-leaky, and rational.

Web research & external data acquisition specialist for MCM/ICM Problem C. Use ONLY when the problem statement explicitly allows or requires external/exogenous data, or when you need credible background context that does not enter the model inputs. Produces cited sources, cleaned datasets, and a reproducibility log.

Paper/memo writer for COMAP MCM/ICM Problem C. Use when you need to draft the 1-page Summary Sheet, 1-2 page memo/letter, and the main report narrative with clear assumptions, model explanation, validation, uncertainty, and citations. References LaTeX template in MCM-Latex-template.

Complex analysis using Cipher MCP (10-30s) for library research via context7, design pattern memory search, and multi-tool integration for LoRAIro strategic planning

当用户提供飞书 MCP URL 并请求配置时触发。自动同时配置到 Claude Code 和 Cursor，简化团队成员的环境设置流程。

从GitHub搜索并自动安装配置MCP(Model Context Protocol)服务器工具到Claude配置文件。当用户需要安装MCP工具时触发此技能。工作流程：搜索GitHub上的MCP项目 -> 提取npx配置 -> 添加到~/.claude.json -> 处理API密钥（如有）。

>

MCP 服务器智能管理助手。自动检测 MCP 可用性、智能开关、功能问答，提供人性化的 MCP 管理体验。

Memory-First development workflow integrating Serena short-term project memory and Cipher long-term design knowledge for efficient LoRAIro development

使用 FastMCP 框架开发交易相关的 MCP 工具, 包括交易所 API 集成(币安/OKX等)、行情数据获取、订单管理等.当需要创建 MCP 服务器或交易工具时触发此技能.

Fast code operations using Serena MCP (1-3s) for symbol search, memory read/write, and basic code editing in LoRAIro project

Build Model Context Protocol (MCP) servers with best practices. Generate production-ready MCP servers in Python or TypeScript with tools, resources, and prompts.

Create, modify, and manage MCP tools for the Naki mahjong AI assistant. Use when adding new MCP tools, modifying existing tools, or fixing tool-related issues. This skill understands the Protocol-based MCPTool architecture.

Convert Markdown articles to WeChat Official Account formatted HTML with styled CSS and optionally upload to draft box. Supports API mode for quick conversion and AI mode for beautiful themed layouts (autumn-warm, spring-fresh, ocean-calm). Also supports assisted writing with customizable creator styles (default: Dan Koe - profound, sharp, grounded) and AI trace removal (humanizer) to make AI-generated text sound more natural. Users can add custom styles in writers/ directory. Use when user wants to write articles, convert markdown to WeChat format, remove AI writing traces, or publish to WeChat Official Account.

通用自媒体文章自动发布工具。支持百家号、搜狐号、知乎三个平台的自动化发布流程。使用Playwright MCP工具实现平台导航和发布页面进入，支持通过storageState管理Cookie实现账号切换。当用户需要发布文章到自媒体平台、打开平台发布页面、切换自媒体账号时使用此skill。工作流程：1)检查并打开指定平台 2)验证登录状态 3)自动关闭广告弹窗 4)导航到发布文章页面 5)收集发布信息 6)自动填写并发布。

media-generator

meeting-actions

Generate structured meeting notes with action items, decisions, and summaries from transcripts. Use when documenting meetings or creating meeting summaries.

Multi-persona product meeting with PM and CTO to discuss UX vs technical tradeoffs. Converts vague feedback into concrete requirements, updates REQUIREMENTS.md, and syncs with Linear.

Technical constraints meeting where PM learns from CTO and CAIO (Chief AI Officer) about technical feasibility, constraints, and tradeoffs to balance REQUIREMENTS.md appropriately.

Execute AI tasks (codex/claude/gemini) with memory and resume support via memex-cli stdin protocol.

Update and maintain Memory Bank files (activeContext, progress, decisionLog). Triggers: MB, memory, 記憶, 進度, 更新記憶, update memory, 記錄進度, 更新上下文, sync, 同步, 記下來, note, 筆記, context, 脈絡, 追蹤, track, 狀態, status.

测试中, 用户明确指定执行 merging-parallel-work 时候才执行, 其余情况一律不执行

Generate Mermaid diagrams including flowcharts, sequence diagrams, and class diagrams. Use when creating visual diagrams in documentation.

mermaid-validator

EXPERIMENTAL: Three-layer parallel meta-cognition analysis. Triggers on: /meta-parallel, 三层分析, parallel analysis, 并行元认知

AI导师框架，通过10+顶级提示工程方法论（C.R.E.A.T.E.、Perfect Prompt Framework、修辞学方法、结构化方法、元提示词理论、迭代优化、个性化定制、逆向思维、系统思维、多模态应用）引导用户创建高效元提示词。当用户需要：(1) 学习提示工程最佳实践，(2) 创建特定任务的元提示词，(3) 优化现有提示词效果，(4) 掌握提示设计思维模式，(5) 建立个性化提示词库，(6) 应用框架解决实际问题，或 (7) 发展AI协作技能时触发。通过'创建元提示词'、'优化提示'、'提示工程指导'、'AI导师'等关键词激活。

meta-skill-creator

分析和优化 Next.js 项目的元数据，包括 title、description、Open Graph、Twitter Cards。自动检测 App Router 或 Pages Router，提供长度建议、关键词优化和最佳实践指导。支持中英文双语 SEO 分析。

methodology

methodology-system

方法論撰寫指南。Use for: (1) 撰寫新方法論, (2) 改寫冗長的舊方法論, (3) 檢查方法論品質

UI copy and microcopy guidelines. Use when writing UI text, buttons, error messages, empty states, onboarding, or any user-facing copy. Triggers on i18n translation, UI text writing, or copy improvement tasks. Supports both Chinese and English.

提供微服务分布式架构思考框架，涵盖服务拆分、通信机制、基础设施、治理策略、可观测性五大维度。当需要设计微服务系统、评审分布式架构、或需要全局视角审视服务边界与协同时使用。支持 DDD 领域建模、同步/异步通信、API Gateway、服务网格、熔断降级等分布式系统关键决策。

migration-best-practices

crowi-migration