'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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Exa로 최신 웹 정보, 코드 예제, 기업과 인물 자료를 검색합니다. 일반 조사와 API 사용법 검색을 구분해 목적에 맞는 자료를 찾습니다.

• 최신 뉴스와 웹 정보를 조사합니다
• 코드 예제와 API 문서를 찾습니다
• 기업과 경쟁사를 조사합니다

Context7 MCP로 라이브러리와 프레임워크의 설정, API, 코드 예시를 조사합니다. 가져온 최신 문서를 바탕으로 답변하며, 자료가 있으면 지정 버전을 우선합니다.

• 프레임워크 설치와 설정을 확인합니다
• 라이브러리 API와 사용법을 조사합니다
• Prisma 쿼리 예시를 찾습니다

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

Turn an idea, post, or task into a skill for the Paperclip catalog. Search for existing skills first, then reference, adapt, or author one, add worked examples where applicable, validate the catalog, and prepare a pull request.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turn an idea or article into a catalog skill
• Register an existing external skill in the catalog
• Adapt a related skill with source attribution

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

Provides prompt templates for coding, writing, analysis, and creative work. Helps define the AI's role, specify the desired output, add examples and constraints, and refine requests using a practical checklist.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Draft a prompt for code review
• Create requests for clear technical documentation
• Prepare prompts for feature and naming ideas