菜单
CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Parser, type, lowering, runtime, and production-gate diagnostics with migration hints and safe next actions.
CellScript action, transition, resource, shared, receipt, capability, flow, and fail-closed basics.
Generated builders, action-aware scans, deployment plans, live registry verification, and evidence boundaries.
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
CellScript package layout, Cell.toml, build/check/fmt/test, canonical 0.21 command groups, registry/package verification, and legacy alias migration.
| name | cellscript-ckb-model |
| description | CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work. |
| references | ["docs/wiki/CKB-Glossary.md","docs/wiki/Tutorial-05-CKB-Target-Profiles.md","docs/CELLSCRIPT_CKB_STD_COMPAT.md","docs/CELLSCRIPT_ENTRY_WITNESS_ABI.md"] |
| commands | ["cellc ckb-std-compat","cellc constraints"] |
Use this skill for CKB-facing CellScript work. Keep the CKB Cell Model clear: transactions consume live Cells and create new Cells; state changes happen by Cell replacement. Lock Scripts control spending, Type Scripts validate state, and Scripts execute in CKB-VM.
Do not guess CKB runtime, RPC, syscall, SDK, or deployment behaviour. For version-sensitive claims, verify against official CKB documentation, source repositories, RFCs, or release notes before coding.
Validation defaults:
cellc constraints . --target-profile ckb --json for compiler-visible
CKB obligations;cellc ckb-std-compat --json for the current compatibility boundary.