本文へ移動
cccskills
無料GitHub で公開

mini-program-verification-skill

Verify mini-program implementations and fixes with risk-calibrated evidence across static checks, unit tests, integration tests, state matrices, simulators, real devices, cloud environments, and release artifacts. Use when users ask to test, validate, accept, regression-check, quality-check, confirm readiness, or determine whether a mini-program feature is actually complete. Binds results to a source and build fingerprint, records commands and observable evidence, separates passed, failed, blocked, and not-run layers, prioritizes the next highest-information check, and never converts local success into device, cloud, release, or formal acceptance claims.

インストール方法を見る

含まれるファイル(9)

  • SKILL.md6.1 KB
  • agents/openai.yaml295 B
  • assets/quality-evidence-matrix.md2.3 KB
  • assets/verification-evidence-report.md2.2 KB
  • references/dimensional-quality-contract.md1.5 KB
  • references/evidence-admissibility.md4.4 KB
  • references/source-audit-workflow.md3.6 KB
  • references/verification-capability-matrix.md2.6 KB
  • references/verification-workflow.md8.2 KB

SKILL.md(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

/mini-program-verification-skill — 小程序工程验证

固定版本/风险,逐层验证,按证据报告。

输入与版本指纹

  • 接收目标、验收标准、交接、事实图、复现入口和可用环境。
  • 记录已核实的分支/提交/文件哈希、构建/配置、工具/设备/云端环境与时间;匿名快照无 Git 时填 unknown,不借外层提交。
  • 分清本轮/既有改动,不清理、覆盖或计入无关变化。
  • 验收行为不明时退回规格;故障根因不明时退回调试。

风险分层验证

  1. 按目标、变更、共享契约、数据/权限/外部服务和历史缺陷建风险矩阵。
  2. 审计按短路径用工具枚举文件/目标;数量须由清单算出,否则不报。沿用户路径追踪输入→写入→读取→呈现;活动资源列创建、暂停、恢复、销毁,检查 onLoad→onShow→onHide→onShow→onUnload;纯函数正确不等于页面持续可用。
  3. 再核对全称注释/承诺:摘实际表达式并算反例。“不重复”查游标走完集合并再次前进;“追加不影响”用同一输入比较集合长度变化前后的索引;非法数值查 NaN、无穷和小数,重进查状态恢复。不能只建议未来补测试;未证实不得判无发现或确认承诺成立。报告以发现为主体,各域记有发现/未发现/证据不足。
  4. 标高严重度、关键错误或发布阻断前,核实完整性并完成机制反证闭环:调用实参、条件求值、实际分支/兜底、可观察后果,主动查找能推翻该机制的路径。部分快照未含引用只证明缺口;仅完整清单或实际构建/解析失败可证明真实缺失。未证实则区分事实与假设,降级或标记 unknown。
  5. 先做低成本反证,再按风险升级:静态检查、单元测试、集成测试、状态矩阵、真机验证、云端验证、发布验证。
  6. 每项记录实际命令或步骤、退出码、样本/设备、观察结果和证据位置;只写“测过了”不构成证据。
  7. 覆盖正常、空、错误、边界、重复、并发/乱序、恢复与回归;不凑无关测试。
  8. 留存失败证据,区分产品、实现、环境和证据问题;不改期望掩盖失败。
  9. 按 证据可采信规则 逐份核对来源、时间、版本、完整性、独立性、适用结论和不能证明的内容;质量标签不得用结论状态替代。
  10. 未知项目先运行只读 capability doctor(独立安装时同等探测),按 验证能力与适配矩阵 复用能力;不自动安装或执行候选命令。
  11. 多页面/流程/状态按 分维度质量覆盖合同 枚举唯一目标,以只读 check 拦基线漂移;用 质量证据矩阵 记基础/专项、包体/分包、首屏、错误和发布观察窗,按 验证工作流 与 验证证据报告 输出风险。

状态与证据边界

  • 静态检查或单元测试最多支持 locally-verified,不推出真机、云端或发布结论。
  • 模拟器截图不是设备证据;真机证据需绑定机型、系统、微信版本、步骤和截图/日志。
  • 云端证据需绑定环境、部署版本、真实请求与日志;本地桩不能替代。
  • 构建成功不等于已上传;已上传不等于审核通过或正式发布。
  • 自主验证不等于正式验收;没有用户明确确认时,报告“验证通过,待验收”,不写 accepted。

最低输出

  • 目标、范围、版本指纹、风险矩阵和验收行为。
  • 各验证层的已执行命令/步骤、结果、证据位置与失败详情。
  • 审计输出确定性文件/目标清单、点名领域覆盖表、高严重度/发布阻断发现的机制反证闭环。
  • 审计发现全称承诺时,逐条给出“承诺、实际表达式、边界输入或最小反例、结论”;不能计算的标为证据不足,不用测试建议代替核验。
  • 审计活动资源时,逐条给出创建、暂停、恢复、销毁的页面生命周期证据和断点。
  • 条件触发时的目标单元来源、基础/专项覆盖数、失败项、N/A 依据、金样指纹和 check 结果。
  • 未执行、被阻塞和不适用项目,以及为什么未执行。
  • 当前可支持的最高状态、残余风险、不可推出结论和下一项高信息量验证。
  • 截图/截断日志须记工具版本、时间、环境、步骤、证据/构建指纹及完整性;缺失填 unknown。
  • 逐份标 admissible / limited / not-admissible 及理由;没有专用字段时写入事实或限制,proven / not-proven 不能代替证据质量标签。
  • 逐份明判完整性与独立性(来源、采验关系、同源/独立观察、交叉支持或 unknown);哈希/未复核不代替独立性分析。

停止条件

真实账号、设备、凭证、云写入、付费或平台操作未获授权则停当前证据层;三种方法仍被同一外部条件阻塞则报告阻塞。不为“通过”扩大权限。

独立与套件协作

独立安装可验证已有交付;套件内接收目标、版本和验证入口,向发布治理传递证据报告;不执行上传、审核或发布。

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

Apply evidence-first engineering discipline to any agent-built software project: fact discovery before action, evidence-calibrated status reporting, explicit change boundaries and stage gates, controlled confirmation for risky or external actions, sensitive-information redaction for anything shared publicly, and resumable continuity after interruptions. Use when users ask an agent to take over an existing codebase, deliver a feature across stages, verify whether work is actually complete, judge release readiness, or keep conclusions honest about what is proven versus assumed. This foundation skill is domain-neutral; vertical suites (for example mini-program engineering) build on it by adding domain facts and platform rules.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

Translate a confirmed mini-program product specification or bounded feature into an implementable architecture covering modules, pages, components, services, canonical state sources, data models, interfaces, permissions, failures, caching, concurrency, idempotency, migration, rollback, external dependencies, and architecture decision records. Use when users ask how to structure a mini program, design data or APIs, divide frontend and cloud responsibilities, evolve an existing system safely, or prepare implementation after product semantics are stable. Preserves product meaning, current repository constraints, user-owned changes, and verifiable acceptance behavior rather than redesigning the product for technical convenience.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

Diagnose and fix mini-program failures through reproducible, evidence-driven root-cause analysis across source, state, asynchronous timing, caches, mock data, build versions, platform behavior, devices, cloud calls, and external services. Use when users report white screens, crashes, stale or jumping values, missing data, intermittent behavior, permission failures, performance stalls, device-only defects, API or cloud-function errors, source-versus-build mismatches, or regressions whose cause is not yet established. Freezes the observation environment, ranks competing hypotheses, runs discriminating checks, creates a failing regression test before repair, covers analogous states, and never hides a known failure with longer waits, swallowed errors, forced success, or cosmetic patches.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

Orchestrate evidence-first engineering for WeChat and other mini programs from a vague idea or existing repository through project discovery, product specification, architecture, implementation, debugging, device adaptation, verification, and release readiness. Use when users ask to build a mini program from zero to one, take over an existing mini-program project, deliver a cross-stage feature, diagnose project status, coordinate development and testing, or judge whether a mini program is ready to upload or release. Enforces fact discovery, change boundaries, stage gates, evidence-calibrated status, sensitive-information redaction, and continuity after side questions.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

Implement bounded features and fixes in existing or new mini-program codebases while preserving repository rules, user-owned changes, approved behavior, assets, framework conventions, and evidence boundaries. Use when users ask to write or modify mini-program code, implement a confirmed specification or architecture, add a scoped feature, remove behavior semantically, update internal documentation required by a change, or carry out a well-defined small fix that does not require root-cause investigation. Establishes a baseline and change boundary, applies test-driven small steps, distinguishes source from generators and build artifacts, verifies the affected contract, and never reports source completion as device validation, formal acceptance, upload, or release.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

Convert a vague mini-program idea, feature request, or partially documented product into an evidence-calibrated product specification with target users, core problem, version-one scope, main and exception flows, page responsibilities, state matrices, and testable acceptance criteria. Use when users ask to define an MVP, clarify requirements, organize product flows, specify page behavior, resolve ambiguous product states, or prepare a stable handoff before architecture or implementation. Separates facts, user decisions, assumptions, unknowns, and future ideas; never invents product logic merely to complete a screen or technical plan.

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

NocodeMrLi/mini-program-engineering-skill-suite882026年10月11日 更新

NocodeMrLi のスキルをすべて見る

このスキルの問題を報告する