Home / Skills / create-verification-skill

create-verification-skill

backnotprop/pstackSkill

Generate a project-local verification skill that drives your app the way a user does — any language, framework, or platform. Use for /create-verification-skill, \"make a control skill for this repo\", or when a project has no scripted way to prove UI/CLI/service behavior.

ScannedSkillSource: GitHub
2,330 stars +649 this week Updated 16d ago License MIT Context ≈75 tokens always loaded
72popular

Why this score

Stars17/35
Usage (forks)5/15
Upkeep25/25
License15/15
Owner history10/10

This repo hosts 10 skills, so its 2,330 stars are split between them (about 233 each) for scoring.

Popularity score: 72/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 21, 2026 at commit 0c3333f09655, 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.

NameScoreStarsContextUpdated
This onecreate-verification-skill backnotprop/pstack · Skill 72★ 2.3k≈75 always16d ago
create-formal-verification-skill michael-denyer/pstack-claude · Skill Both about verification and prove 73★ 3.1k≈98 always16d ago
mini-program-verification-skill NocodeMrLi/mini-program-engineering-skill-suite · Skill Both about verification 54★ 92≈158 always20d ago
source-verification HezaoHezao/poirot · Skill Both about verification 52★ 251≈15 always3mo ago
app-verification mblode/agent-skills · Skill Both about verification and prove 60★ 151≈78 always19d ago
paper-verification fcakyon/phd-skills · Skill Both about verification 64★ 424≈22 always24d ago