「execution」の検索結果

Automatically generates executable test cases from model checking counterexample traces. Translates abstract counterexample states and transitions into concrete test inputs, execution steps, and assertions that reproduce property violations. Use when working with model checker outputs (SPIN, CBMC, NuSMV, TLA+, Java PathFinder, etc.) and needing to create regression tests, validate bug fixes, or reproduce verification failures in executable test suites.

日本語の概要は準備中です。原文の説明を表示しています。

Analyzes and optimizes code for better performance, memory usage, and efficiency. Use when code is slow, memory-intensive, or inefficient. Supports Python and Java optimization including execution speed improvements, memory reduction, database query optimization, and I/O efficiency. Provides before/after examples with detailed explanations of why optimizations work, complexity analysis, and measurable performance improvements.

日本語の概要は準備中です。原文の説明を表示しています。

Generate concrete counterexamples when formal verification, assertions, or specifications fail. Use this skill when debugging failed proofs, understanding why verification fails, creating minimal reproducing examples, analyzing assertion violations, investigating invariant breaks, or diagnosing specification mismatches. Produces concrete input values, execution traces, and state information that demonstrate the failure.

日本語の概要は準備中です。原文の説明を表示しています。

Build product roadmaps with quarterly planning, feature prioritization, dependency mapping, and stakeholder alignment. Create actionable roadmaps that communicate strategy and guide execution.

日本語の概要は準備中です。原文の説明を表示しています。

Plan comprehensive marketing campaigns from strategy through execution. Develop campaign briefs, select optimal channels, create timelines, allocate budgets, define targeting parameters, design A/B testing strategies, and establish performance measurement frameworks.

日本語の概要は準備中です。原文の説明を表示しています。

Consolidated game developer for story execution, code implementation, code review, QA/test authorship, and sprint orchestration. Use when the user asks to talk to Link Freeman, the Game Developer, the Game QA, or the Game Scrum Master.

日本語の概要は準備中です。原文の説明を表示しています。

Manage significant changes during sprint execution. Use when the user says "correct course" or "propose sprint change"

日本語の概要は準備中です。原文の説明を表示しています。

Plan mode: write markdown plan, no execution.

日本語の概要は準備中です。原文の説明を表示しています。

Our enterprise solution with unlimited test execution, assisted setup, and dedicated support.

日本語の概要は準備中です。原文の説明を表示しています。

Capture and save screenshots during test execution

日本語の概要は準備中です。原文の説明を表示しています。

1.7x faster test execution with intelligent caching and optimization

日本語の概要は準備中です。原文の説明を表示しています。

Pause the execution of the script for a specified duration.

日本語の概要は準備中です。原文の説明を表示しています。

Capture and manage screenshots during test execution

日本語の概要は準備中です。原文の説明を表示しています。

Record test execution with video and logs

日本語の概要は準備中です。原文の説明を表示しています。

Run TestDriver tests in CI/CD with parallel execution and cross-platform support

日本語の概要は準備中です。原文の説明を表示しています。

New App Intents APIs and behaviors for iOS 27 and macOS 27: SnippetIntent, LongRunningIntent, execution modes, and interactive snippets.

日本語の概要は準備中です。原文の説明を表示しています。

Authoritative App Intents best practices from Apple: execution model, entities, queries, parameters, enums, dependencies, and donations.

日本語の概要は準備中です。原文の説明を表示しています。

Five-phase pipeline (triage → clarify → research → PRD → plan) that turns a raw idea into four linked files: clarifying questions, deep research, a PRD with non-goals and metrics, and a phased execution plan with mermaid user journey and kill criteria.

日本語の概要は準備中です。原文の説明を表示しています。

Delegate tasks to AI agents via Box0. Use when the user asks to review code, check security, run tests, compare tools, get multiple perspectives, research a topic, analyze data, write docs, or any task that could benefit from specialized or parallel execution. Also use when the user mentions agent names or says "ask", "delegate", "get opinions from", or "have someone".

日本語の概要は準備中です。原文の説明を表示しています。

Systematically trace bugs backward through call stack to find original trigger. Use when errors occur deep in execution and you need to trace back to find the original trigger.

日本語の概要は準備中です。原文の説明を表示しています。

Dynamic MCP server discovery and code-mode execution via central registry. Use for multiple MCP integrations, tool discovery, progressive disclosure, or encountering MCP context bloat, changing server sets, large tool sets.

日本語の概要は準備中です。原文の説明を表示しています。

Validate at every layer data passes through to make bugs impossible. Use when invalid data causes failures deep in execution, requiring validation at multiple system layers.

日本語の概要は準備中です。原文の説明を表示しています。

Cloudflare Sandboxes SDK for secure code execution in Linux containers at edge. Use for untrusted code, Python/Node.js scripts, AI code interpreters, git operations.

日本語の概要は準備中です。原文の説明を表示しています。

Cloudflare Cron Triggers for scheduled Workers execution. Use for periodic tasks, scheduled jobs, or encountering handler not found, invalid cron expression, timezone errors.

日本語の概要は準備中です。原文の説明を表示しています。