SCENARIO / LEVEL 2
Skill与智能体开发 Skills
Agent Building
编写 Skill、MCP 服务与智能体工作流
Skill与智能体开发 的 Skills 39464
create-verification-skill
Generate a project-local verification skill that drives your app the way a user does — any language, framework, or platform. Use for /create-verification-skill, "make a control skill for this repo", or when a project has no scripted way to prove UI/CLI/service behavior.
create-formal-verification-skill
Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, "model-check this race", "prove this invariant", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.
zig-async-skill
Zig 0.16.0 async I/O programming with the new std.Io interface. Use when working with Zig 0.16.0+ async code, event loops, concurrent tasks, or non-blocking I/O.
sandi-metz-rules
Apply Sandi Metz's four rules for maintainable Ruby code. Use when reviewing or refactoring Ruby code, or when the user mentions 'Sandi Metz', 'code quality', or 'refactoring'.
gh-stack
Manage stacked branches and pull requests with the gh-stack GitHub CLI extension. Use when the user wants to create, push, rebase, sync, navigate, or view stacks of dependent PRs. Triggers on tasks involving stacked diffs, dependent pull requests, branch chains, or incremental code review workflows.
find-skills
Helps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skill should be used when the user is looking for functionality that might exist as an installable skill.
explain-diff-notion
Create a rich explanation of a code change, diff, branch, or pull request as a Notion page. Use when the user wants to understand the background, intuition, implementation, data flow, diagrams, and quiz-based reinforcement for a software change, published via the Notion MCP tools with the page URL returned.
code-intel
Router for the three code-intelligence tools — vera (semantic search), codegraph (structural graph/call graphs over MCP), and graphify (whole-project knowledge graph spanning code + docs + schemas). Use when finding where logic lives, tracing callers/callees/impact, or navigating a large or polyglot codebase — whether unfamiliar or one worked in daily. Picks the right layer (comprehend / locate / traverse) and defers to each tool's own skill, MCP server, or CLI for detailed usage.