'specification' 검색 결과

Design REST or GraphQL APIs by defining data relationships, requests, responses, and authentication. Produce OpenAPI specifications, machine-readable API descriptions, with consistent errors, pagination, and versioning plans, then validate contracts using a mock server.

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

• Designing a new API from business requirements
• Creating and validating OpenAPI specifications
• Standardizing errors and paginated responses

Create UI-SPEC.md, a document defining interface design decisions for a frontend phase. The skill coordinates UI research and specification checks, using a chosen phase or automatically selecting the next unplanned one.

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

• Preparing UI specifications for a frontend phase
• Researching UI before documenting design decisions
• Checking a UI specification after drafting it

Model distributed systems and concurrent algorithms in TLA+ or PlusCal, then check possible states with TLC. Use the results to investigate deadlocks, broken rules, and differences between specifications and implementation code.

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

• Model a distributed protocol before implementation
• Create a specification from existing concurrent code
• Investigate deadlocks and race conditions

Writes and reviews Lean 4 proofs, machine-checked arguments for mathematics or specifications. Follows Mathlib conventions to organize definitions and lemmas, fill proof gaps, refactor lengthy proofs, and establish automated checks for unproved claims and style.

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

• Formalizing mathematics or specifications in Lean 4
• Filling sorry placeholders in proofs
• Splitting long proofs into reusable lemmas

Turn Notion product requirements and feature specifications into linked implementation plans and manageable tasks. Extract requirements, flag ambiguities, and keep task status, milestones, blockers, and decisions aligned as work progresses.

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

• Turn a feature specification into an implementation plan
• Break requirements into one- to two-day tasks
• Link specifications, plans, and task pages in Notion

Turn a Seed specification into GitHub issues for team planning. The skill creates a parent issue and implementation tasks, distributes acceptance criteria across them, and links the tasks in a progress checklist.

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

• Turn a specification into team tasks
• Add acceptance criteria to implementation issues
• Organize task progress under a parent issue

Turn a multi-file development task or technology migration into a specification with acceptance criteria, then launch background implementation and verification. The workflow clarifies missing requirements, reviews the specification, and tracks progress and blockers through linked jobs.

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

• Implementing a feature across multiple files
• Migrating a framework or programming language
• Replacing authentication, storage, or API layers

Convert agreed goals, constraints, and success criteria into a Seed specification an agent can execute and verify. A quality review checks consistency and testable outcomes, with any suggested refinements left for the user to approve.

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

• Formalize requirements agreed in conversation
• Create a specification after a requirements interview
• Check acceptance criteria for measurable outcomes

Extract Amazon search results with product titles, prices, ratings, identifiers, and available specifications. Set keywords, brand, page count, and browsing language to gather structured information for market research, competitor comparisons, and product catalog updates.

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

• Comparing prices across competing brands
• Researching highly rated products by keyword
• Adding product identifiers and attributes to a catalog

Collect Amazon product data from ASINs, unique product identifiers, and compare prices, specifications, reviews, and product images. Produce comparison tables and reports that highlight competitive strengths, weaknesses, and potential market opportunities.

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

• Comparing competing products by ASIN
• Reviewing price ranges for similar products
• Comparing specifications, features, and materials

Develop a confirmed talk angle and title into a five-act script with speaker notes and timing. Receive a slide-by-slide specification and a completed prompt to paste into Kimi for presentation generation.

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

• Writing a full script after confirming the talk direction
• Planning speaking time and pauses
• Preparing slide specifications for a designer

Archive several OpenSpec changes together after reviewing their documents, task completion, and specification conflicts. The agent checks actual code to decide which specification updates to apply, asks for confirmation, and reports successes, skipped changes, and failures.

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

• Archiving several completed changes together
• Reviewing incomplete documents and tasks before archiving
• Resolving overlapping specifications using implementation evidence

Creates a reusable use case specification file that defines the business problem, stakeholders, and measurable success criteria for model customization, as recommended by the AWS Responsible AI Lens. Use as the default first step in any model customization plan. Skip only if the user explicitly declines or already has a use case specification to reuse. Captures problem statement, primary users, and LLM-as-a-Judge success tenets.

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

Transforms project briefs into testable specifications with user stories and acceptance criteria. Use after brainstorming, before planning.

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

Generate formal specifications including preconditions, postconditions, invariants, and contracts from code or requirements. Use this skill when documenting APIs, creating formal verification annotations, defining function contracts, specifying class invariants, writing design-by-contract code, or preparing code for formal verification. Supports multiple specification languages including JML, ACSL, Dafny, Eiffel contracts, and documentation annotations.

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

Generate comprehensive test case documentation from test code, test framework output, existing test docs, and source code context. Use when documenting test suites, creating test specifications, generating test coverage reports, onboarding developers to testing practices, or preparing QA documentation. Analyzes test functions (pytest, unittest) to extract test names, docstrings, assertions, and organization, then produces structured markdown with both overview-level summaries and detailed test case specifications including purpose, preconditions, steps, expected results, and test data. Triggers when users ask to document tests, generate test specifications, create test reports, summarize test coverage, or explain what tests do.

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

Translate natural-language requirements or structured specification documents into formal temporal logic properties (LTL, CTL, safety/liveness properties). Use when users need to formalize requirements for model checking, formal verification, or property specification. Handles embedded/real-time systems, hardware verification, concurrent systems, and reactive systems. Resolves ambiguities, asks clarifying questions when needed, and outputs machine-checkable formulas with explanations. Supports multiple output formats (SPIN, NuSMV, Uppaal, TLA+, Maude).

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

Automatically simplify and minimize TLA+ specifications by reducing redundant state variables, merging equivalent actions, and minimizing invariants while preserving specified properties. Use when working with TLA+ specifications that need optimization, simplification, or reduction. Triggers when users ask to minimize, reduce, simplify, or optimize TLA+ specs, or when they want to remove redundancy from formal specifications while maintaining semantic equivalence.

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

Generate systematic refinement steps from high-level specifications to concrete implementations in Isabelle/HOL or Coq, preserving correctness obligations at each step. Use when working with formal verification, program refinement, proof development, or when translating abstract specifications into executable code while maintaining formal guarantees. Supports data refinement (abstract types → concrete structures), algorithmic refinement (specifications → algorithms), and stepwise refinement with proof obligations.

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

Automatically generate TLA+ specifications from program code, repositories, or system implementations. Use when asked to generate TLA+ spec, create TLA+ specification from code, convert program to TLA+, formalize system in TLA+, extract TLA+ model from code, or when working with formal specification of concurrent systems, distributed systems, protocols, algorithms, or state machines that need to be verified.

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

Convert pseudocode, algorithm descriptions, or specifications into complete, executable Python code. Handles natural language descriptions, structured pseudocode, and formal algorithm specifications. Generates production-ready code with type hints, docstrings, error handling, and test cases. Use when users need to (1) convert pseudocode to Python, (2) implement algorithms from descriptions, (3) translate algorithm specifications to code, (4) generate Python implementations from textbook pseudocode, or (5) create executable code from high-level algorithm designs.

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

Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs. Use this skill when working with formal verification, adding function contracts (requires/ensures), loop invariants, assertions, memory safety annotations, or any ACSL specifications. Supports Frama-C verification and generates comprehensive formal specifications for C/C++ code.

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

Expert product specification and documentation writer. Use when creating PRDs, user stories, acceptance criteria, technical specifications, API documentation, edge case analysis, design handoff docs, feature flag plans, or success metrics. Covers the full spectrum from high-level requirements to implementation-ready specifications.

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

Transforms vague UI/feature requests into structured, optimized prompts with design system awareness. Use when generating prompts for UI implementation, feature specification, or design-to-code translation. Triggers on tasks requiring prompt refinement, UI specification, or design system integration.

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