跳到正文
cccskills
免费在 GitHub 公开

contract-gate-parity-check

contract-gate-parity-check

中文简介正在准备中。当前显示原文说明。

查看安装方法

包含的文件(1)

  • SKILL.md595 B

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

계약 문서가 runnable/승인/안전 판정 조건 목록을 명시하면, fixture나 구현의 판정 predicate를 조건 단위로 1:1 대조하라. 각 조건의 좌변 필드명을 grep해 predicate 코드에서 실제로 읽히는지 확인하고, 읽히지 않는 필드는 변조 반례(기대: 판정 거부)로 재현 절차를 남겨라. digest가 저장 문자열인 fixture에서는 digest 검사가 linkage 변조를 잡지 못하므로 id 등가 조건을 생략하면 안 된다.

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

atomic-write no-op 증명은 inode 비교로

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

availability 표시 게이트는 실행 의미 공급자와 교차 대조

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

base 전진 시 retained worktree diff의 3-way 재이식

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

builtin-bundle-reverify

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

builtin-bundle-reverify에 CLI fixture leg 절차 추가

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

codex CLI 플래그 실재는 설치된 바이너리 help로 검증

中文简介正在准备中。当前显示原文说明。

zzunkie/yardlet182026年10月19日 更新

查看 zzunkie 的全部技能

报告此技能的问题