1.7K skills · sorted by relevance
Design the transition from worked examples to independent problem-solving using expertise-reversal principles. Use when students follow examples but cannot solve problems alone.
The English summary is being prepared. Showing the original description.
Design deliberately flawed examples that develop error-detection skills and deepen understanding. Use when students make characteristic errors and need practice spotting mistakes.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Design the transition from worked examples to independent problem-solving using expertise-reversal principles. Use when students follow examples but cannot solve problems alone.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Design deliberately flawed examples that develop error-detection skills and deepen understanding. Use when students make characteristic errors and need practice spotting mistakes.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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`.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Look up current library and framework documentation through Context7 MCP, a connection to live documentation tools. Supports setup questions, API references, and code examples, using version-specific sources when available to ground answers in retrieved material.
Find current web information, code examples, and company or professional profiles through Exa. Separate general research from searches for API documentation and sample code to gather material relevant to the task.
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.
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.
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.
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 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.
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.
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.
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.
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.
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.
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.
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.
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.