“example”的搜索结果

Automatically repair code violations of temporal properties using model-checking counterexamples as guidance. Use when working with formal verification results, temporal logic property violations (LTL, CTL), model checking counterexamples, or when asked to repair property violations, fix counterexamples, repair temporal properties, fix model checking violations, or repair code based on counterexamples. Applicable to concurrent systems, state machines, synchronization issues, safety/liveness properties, and resource management violations.

中文简介正在准备中。当前显示原文说明。

Design a worked example fading sequence from fully worked examples through to independent practice. Use when teaching procedures, algorithms, or multi-step processes to novice learners.

中文简介正在准备中。当前显示原文说明。

Design the transition from worked examples to independent problem-solving using expertise-reversal principles. Use when students follow examples but cannot solve problems alone.

中文简介正在准备中。当前显示原文说明。

Design deliberately flawed examples that develop error-detection skills and deepen understanding. Use when students make characteristic errors and need practice spotting mistakes.

中文简介正在准备中。当前显示原文说明。

Adds new visual examples to the tdmcp prompt cookbook documentation — both the English and Portuguese versions. Use when asked to: add more cookbook examples, create visual examples for the docs, show more surprising things you can do, add entries to the prompt cookbook, expand the cookbook, or any request to extend the cookbook with new prompts and results. Runs a 3-phase pipeline: curate candidates → write EN → write PT.

中文简介正在准备中。当前显示原文说明。

Expo's official example projects — the expo/examples repo of ~70 `with-*` integrations (Stripe, Clerk, Supabase, OpenAI, maps, Reanimated, SQLite, Skia, NativeWind, and more). Use when integrating a third-party library or service into an existing Expo app and you want the canonical, version-matched pattern to adapt, or when scaffolding a new project from one with `npx create-expo --example`.

中文简介正在准备中。当前显示原文说明。

Adds new visual examples to the tdmcp prompt cookbook documentation — both the English and Portuguese versions. Use when asked to: add more cookbook examples, create visual examples for the docs, show more surprising things you can do, add entries to the prompt cookbook, expand the cookbook, or any request to extend the cookbook with new prompts and results. Runs a 3-phase pipeline: curate candidates → write EN → write PT.

中文简介正在准备中。当前显示原文说明。

通过Context7 MCP查询库和框架的配置方法、API说明与代码示例，以获取的现行文档为依据回答问题，并在有对应资料时优先采用指定版本的文档。

• 确认框架的安装与配置方法
• 查询库的API及用法
• 查找Prisma查询示例

通过Exa搜索最新网络信息、代码示例及企业和人物资料，区分一般调研与API用法查询，帮助找到符合任务目的的参考材料。

• 查询最新新闻和网络信息
• 查找代码示例与API文档
• 调研企业和竞争对手

An example skill loaded through resources_discover and supplied by the dynamic-resources extension. The material identifies its role as a sample but does not describe a specific task, workflow, or output.

中文简介正在准备中。当前显示英语简介。

• Reviewing a sample loaded through resources_discover
• Checking an example supplied by an extension
• Identifying the sample's documented scope

将想法或文章整理为Paperclip公开目录中的技能，先查找已有技能，再选择引用、改编或新建，并准备使用示例、验证、测试及拉取请求。

• 将想法或文章整理成技能
• 把外部技能登记到目录
• 注明出处并改编相似技能

Look up Ant Design React components in official documentation to find available settings, default values, and usage examples. Check subcomponents and methods, and consult type definitions in the antd package when TypeScript details are needed.

中文简介正在准备中。当前显示英语简介。

• Checking component settings and default values
• Finding usage examples and demo code
• Looking up available subcomponents and methods

Look up a project's existing UI components in Storybook, including their props, or configuration inputs, and usage examples. Use the findings to answer questions and identify components to reuse before building duplicates.

中文简介正在准备中。当前显示英语简介。

• Find existing UI components
• Check component props and usage examples
• Answer questions about component usage

Find current documentation and code examples through the Context7 MCP server. Look up library setup, API usage, migration steps, and library-specific problems, using documentation for the requested version when available.

中文简介正在准备中。当前显示英语简介。

• Looking up documentation for a specific version
• Finding library setup and configuration steps
• Finding examples for code that uses external libraries

Look up current library and framework documentation with Context7 to explain setup, configuration, and APIs. Retrieve relevant code examples, prefer official packages, and use documentation for a specified version when available.

中文简介正在准备中。当前显示英语简介。

• Finding framework setup and configuration steps
• Looking up library API references
• Finding code examples for implementation

Retrieve current documentation and code examples from Context7 for libraries, frameworks, and developer tools. Use the results to answer questions about API syntax, configuration, installation, version migration, and library-specific problems.

中文简介正在准备中。当前显示英语简介。

• Checking current API syntax
• Finding setup and configuration examples
• Investigating version migration issues

Read a supplied paper in depth and produce a structured Markdown explanation of its research logic, essential design choices, and evidence limits. Work through key equations with concrete numerical examples and identify missing controls or unreported information.

中文简介正在准备中。当前显示英语简介。

• Understand a paper before building on its research
• Prepare an explanation for a paper presentation
• Work through key equations with numerical examples

Create API specifications, interactive documentation, and developer portals that explain how to use an API. The skill also covers authentication examples, SDK generation, example testing, and migration guides to help developers integrate and maintain their applications.

中文简介正在准备中。当前显示英语简介。

• Create API specifications with authentication examples
• Build interactive API documentation
• Generate SDKs from OpenAPI specifications

Record migration instructions for Prisma 8 breaking changes alongside the pull request. Prepare separate guidance for application users and extension authors, with optional code transformation scripts and checks that reproduce the required changes.

中文简介正在准备中。当前显示英语简介。

• Documenting migration steps for a breaking change
• Preparing separate app and extension upgrade guidance
• Testing migration scripts against pre-change code

Solve competition mathematics problems and examine proofs through independent agents that actively look for gaps, counterexamples, and misused theorems. Produces a checked argument or clearly states what remains unresolved, with optional PDF output.

中文简介正在准备中。当前显示英语简介。

• Solve an IMO or Putnam problem
• Check a competition proof for gaps
• Find counterexamples to claims within a proof

Create or update API documentation from source code. Produce OpenAPI or Swagger specifications, endpoint descriptions, parameter tables, response examples, authentication guides, error references, and usage examples that explain how to call the API.

中文简介正在准备中。当前显示英语简介。

• Create API documentation from source code
• Generate an OpenAPI or Swagger specification
• Document parameters, responses, and errors

Find explanations, tutorials, configuration guidance, and code examples in official documentation for Microsoft technologies. Choose documentation sources for Azure, .NET, VS Code, GitHub, Aspire, and Agent Framework based on where the relevant material is published.

中文简介正在准备中。当前显示英语简介。

• Find official explanations and setup instructions
• Look up code examples for a specific language
• Research VS Code settings or extension APIs

Generate a customizable AI prompt for finding representative examples in an existing codebase. Configure analysis depth, categories, and snippets so GitHub Copilot can produce exemplars.md with real file references and explanations of coding conventions.

中文简介正在准备中。当前显示英语简介。

• Collecting existing code examples for team guidance
• Documenting patterns to follow when adding features
• Configuring the depth and format of a code example guide

Explore training workflows that reduce harmful model responses using a written set of principles. The skill covers self-critique, revised training examples, and RLAIF, reinforcement learning from AI feedback, with implementation examples and hardware guidance.

中文简介正在准备中。当前显示英语简介。

• Designing principles for model safety training
• Creating training examples through self-critique and revision
• Planning reinforcement learning with AI-rated responses