メニュー
Model Pkl specifications, resources, imports, packages, and provenance, and locate authoritative Pkl documentation or repository content. Use when defining configuration schemas, resource boundaries, source maps, or first-party research inputs.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
Design OpenAPI component schemas with discriminated variants, constrained primitives, subtype/composition choices, nullability, examples, and invalid-state prevention.
Set up a repository for marketplace-driven AI tooling. Use when onboarding a new repo, refreshing a checked-in marketplace reference, installing core marketplace plugins, or documenting which configured marketplaces should be available by default.
Use when validation, authorization, normalization, or state checks produce facts later code must retain. Replace primitive contracts, flags, sentinel states, string protocols, and call-order conventions with proof-carrying values in any language.
Use when Kotlin work needs type-driven modeling, parse-dont-validate boundaries, semantic package layout, explicit failures, API review, or package cohesion checks.
Pkl engineering for typed configuration contracts, expressions, amendments, evaluation, formatting, tests, projects, dependencies, rendering, and packages. Use when a repository contains `.pkl` modules or `PklProject`, or when configuration behavior should be modeled and enforced with Apple Pkl.
Use when creating or validating referential plugin manifests, marketplace entries, primitive references, or payload-to-reference plugin conversions.
SOC 職業分類に基づく
| name | pkl-specification |
| description | Model Pkl specifications, resources, imports, packages, and provenance, and locate authoritative Pkl documentation or repository content. Use when defining configuration schemas, resource boundaries, source maps, or first-party research inputs. |
Turn configuration requirements into typed Pkl contracts and route semantic questions to exact first-party sources. Treat remote material as provenance, not local canonical content.
Dynamic, environment, network, and external-reader behavior at a
conversion boundary.Read specification-and-resources.md when designing modules, resources, dependency notation, readers, or rendered outputs.
Read official-source-map.md when deciding which documentation site, implementation repository, package library, editor, binding, or example repository is authoritative.
The bundled manifest declares public Apple repositories and the content paths worth indexing. Network and filesystem writes are explicit:
<skill-dir>/scripts/pkl_sources catalog
<skill-dir>/scripts/pkl_sources sync --cache <cache-dir> [--source <id>]
<skill-dir>/scripts/pkl_sources index --cache <cache-dir> --out <index.json> [--source <id>]
sync writes sources.lock.json with exact commits. index refuses unlocked
or drifted checkouts and emits deterministic JSON containing documentation
headings plus Pkl module, class, and type-alias symbols. Raw upstream content
stays in the caller-selected cache and is never promoted into this skill.