752 件 ・ 関連度順
概要と使いどころ
Creates, manages, and queries Arize datasets and examples. Covers dataset CRUD, appending examples, exporting data, and file-based dataset creation using the ax CLI. Use when the user needs test data, evaluation examples, or mentions create dataset, list datasets, export dataset, append examples, dataset version, golden dataset, or test set.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
ライブラリやフレームワークの設定方法、API仕様、コード例をContext7 MCPで調べ、取得した現行ドキュメントと指定バージョンに基づく回答を支援するスキル。
Webの最新情報やコード例、企業・人物の情報をExaで検索し、目的に合う資料を探します。一般的な調査とAPIの使い方を調べる検索を使い分けるスキルです。
Analyze logs and source from a completed manual examples run. Never execute or control examples.
日本語の概要は準備中です。原文の説明を表示しています。
Design deliberately flawed examples that develop error-detection skills and deepen understanding. Use when students make characteristic errors and need practice spotting mistakes.
日本語の概要は準備中です。原文の説明を表示しています。
Design the transition from worked examples to independent problem-solving using expertise-reversal principles. Use when students follow examples but cannot solve problems alone.
日本語の概要は準備中です。原文の説明を表示しています。
Use when a Java change needs independent Behavior-Driven Development guidance from trusted behavior facts through concrete examples and observable scenarios, with focused clarification when behavior is pending or ambiguous. This should trigger for requests such as Apply BDD; Facilitate behavior examples; Discover scenarios with Given When Then; Review these examples for shared domain language; Complete BDD discovery as a self-contained interaction. Part of Plinth Toolkit
日本語の概要は準備中です。原文の説明を表示しています。
Curated few-shot examples for construction AI tasks: classification, extraction, analysis. Domain-specific examples for improved LLM performance.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
Synchronize and verify code examples in documentation. Use when function signatures change, API interfaces update, imports shift, or documentation snippets become outdated and need correction.
日本語の概要は準備中です。原文の説明を表示しています。
Generates code examples for PHP documentation. Creates minimal, copy-paste ready examples with expected output.
日本語の概要は準備中です。原文の説明を表示しています。
メモや調査資料をもとに、ブログ記事、ガイド、ニュースレターなどの長文を作成し、既存の文体やブランドの方針に合わせて構成と根拠を整えるスキル。
記事やガイド、ニュースレターを、提供された文例やブランドの文体に合わせて執筆します。メモや調査資料の文章化から、既存原稿の構成・根拠の見直しまで扱います。
質問応答や文書検索を組み合わせたAI処理をDSPyで構築するスキル。入力と出力を定義して部品を組み合わせ、学習例と評価指標を使ってプロンプトを自動調整します。
Convert evaluation traces and production logs into SFT examples and preference pairs. Use when graded traces or failure examples exist and need to become training data, when applying rejection sampling to model outputs, or when building DPO pairs from passing and failing runs.
日本語の概要は準備中です。原文の説明を表示しています。
Bug triage validation system, Immunefi report format, and 20 real paid bounty examples dissected. Use this when validating a finding before submitting, writing an Immunefi report, checking if a bug is actually valid, or studying real examples of paid vulnerabilities.
日本語の概要は準備中です。原文の説明を表示しています。
Guides Java SDK development in Apache Beam, including building, testing, running examples, and understanding the project structure. Use when working with Java code in sdks/java/, runners/, or examples/java/.
日本語の概要は準備中です。原文の説明を表示しています。
Optional Sergo examples for cache formats and reporting templates.
日本語の概要は準備中です。原文の説明を表示しています。
Analyze logs and source from a completed repository example run. Never execute or control examples.
日本語の概要は準備中です。原文の説明を表示しています。
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`.
日本語の概要は準備中です。原文の説明を表示しています。