发现 Skills

Automate Google Classroom tasks via Rube MCP (Composio): course management, assignments, student rosters, and announcements. Always search tools first for current schemas.

Automate Mails So tasks via Rube MCP (Composio). Always search tools first for current schemas.

Automate Nango tasks via Rube MCP (Composio). Always search tools first for current schemas.

Master C#/.NET backend development patterns for building robust APIs, MCP servers, and enterprise applications. Covers async/await, dependency injection, Entity Framework Core, Dapper, configuration.

Semantic search, similar content discovery, and structured research using Exa API

Use when executing implementation plans with independent tasks in the current session

This skill should be used when the user asks to "create a demo module", "write a Know/Show demo", "build a presenter demo", "create a Showroom demo", "write a facilitator guide", "build a demo script", or "create a presenter-led demo for RHDP".

Start a new project/feature with multi-agent collaboration (Opus 4.6 + Agent Teams). Phase 1: Codebase understanding (Gemini 1M context + Claude user interaction). Phase 2: Parallel research & design (Agent Teams: Researcher + Architect). Phase 3: Plan synthesis & user approval. Implementation is handled separately by /team-implement.

Creates minimal, effective AGENTS.md files using progressive disclosure. Triggers on "create agents.md", "refactor agents.md", "review my agents.md", "claude.md", or questions about agent configuration files. Also triggers proactively when a project is missing AGENTS.md.

USE FOR: Design theorem specifications for Lean 4 proofs. Use when planning new theorems, lemmas, definitions, or tactics. Covers the three-part specification (requirements, design, documentation), lifecycle management, dependency analysis, and integration with the review council. DO NOT USE FOR: actual proof writing (use @lean-proof); requirement extraction (use @lean-doc-requirements); review (use @lean-proof-review). TRIGGERS: specification, theorem spec, three-part spec, lemma plan, tactic plan.

Pragmatic patterns for building multiplayer games: matchmaking, tick loops, realtime state, interest management, and validation.

Bridge between an approved Design Document and code. Decompose the system-level blueprint into N vertical specs (requirements → design → tasks), each independently deliverable. Fail fast by ordering hardest-first. Execute wave-by-wave with approval gates.

Etsy shop management via internal API and Playwright browser automation. CRUD listings, upload images, manage orders across 4 shops. Triggers: "etsy listing", "etsy shop", "upload to etsy", "etsy order", "create listing", "update listing", "etsy images", "example-shop", "etsy sales", "publish to etsy", "etsy dashboard". DO NOT trigger on: generic e-commerce questions, Amazon/eBay, Shopify, "how does Etsy work" (general knowledge, not shop management).

Search 76M+ patents using BigQuery (fast, zero setup) or PatentsView API (US patents with rich metadata).

Creates a new Agent Skill that follows the agentskills.io open specification. Use this skill whenever a user or agent wants to author a new skill, scaffold a skill directory, write a SKILL.md, add reference files, or add scripts to an existing skill. Activate for phrases like: "create a skill", "write a skill", "new skill for X", "scaffold a skill", "add a skill to my repo", or "make a SKILL.md".

Open the SAGA dashboard in your browser

Audits Claude Code project setup and provides a score with actionable recommendations. Use when a user asks about Claude Code setup, configuration quality, or wants to improve their Claude Code configuration.

Use when working with ESP32 boot flow, startup sequence, hardware abstraction (HAL/LL), high-priority interrupts, console I/O, C/C++ language support, thread-local storage, file systems, RF calibration, or host-based builds.

Generates FluentValidation validators for commands and queries. Includes common validation rules, custom validators, async validation, and integration with MediatR pipeline behaviors.

Generates unit tests for command and query handlers using xUnit and NSubstitute. Implements Arrange-Act-Assert pattern with comprehensive test coverage for success and failure scenarios.

[Extended thinking: This workflow implements a sophisticated debugging and resolution pipeline that leverages AI-assisted debugging tools and observability platforms to systematically diagnose and resolve issues.]

This skill should be used when the user asks to "escalate privileges on Linux", "find privesc vectors on Linux systems", "exploit sudo misconfigurations", "abuse SUID binaries", "ex...

Senior developer-level release review for macOS/iOS apps. Identifies security, privacy, UX, and distribution issues with actionable fixes. Use when preparing an app for release, want a critical review, or before App Store submission.

Frontend and TypeScript coding guidelines for building maintainable, performant, and accessible web applications. Use this skill when generating TypeScript or React code for web applications.