Home / Skills / mini-program-verification-skill
mini-program-verification-skill
NocodeMrLi/mini-program-engineering-skill-suiteSkill
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 suc
Why this score
This repo hosts 10 skills, so its 92 stars are split between them (about 9 each) for scoring.
Popularity score: 54/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 3f60c5c2c8e0, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onemini-program-verification-skill NocodeMrLi/mini-program-engineering-skill-suite · Skill | 54 | ★ 92 | ≈158 always | 20d ago |
| create-verification-skill milind-soni/OpenMausBot · Skill Both about verification and verify | 82 | ★ 5.2k | ≈47 always | 16d ago |
| create-formal-verification-skill michael-denyer/pstack-claude · Skill Both about verification and verify | 73 | ★ 3.1k | ≈98 always | 16d ago |
| source-verification HezaoHezao/poirot · Skill Both about verification | 52 | ★ 251 | ≈15 always | 3mo ago |
| multi-program-manager Affitor/affiliate-skills · Skill Both about program | 65 | ★ 727 | ≈24 always | 16d ago |
| exchange-program cuic19053-hue/awesome-student-ai-skills · Skill Both about program | 55 | ★ 119 | ≈13 always | 16d ago |