Install
$ agentstack add skill-jon-devlapaz-agentic-se-skills-verification-planner ✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.
Security review
✓ PassedNo issues found. Passed automated security review. · v0.1.0 How review works →
- ✓ Prompt-injection patterns
- ✓ Secret / credential exfiltration
- ✓ Dangerous shell & filesystem operations
- ✓ Untrusted network calls
- ✓ Known-malicious package signatures
What it can access
- ✓ Network access No
- ✓ Filesystem access No
- ✓ Shell / process execution No
- ✓ Environment & secrets No
- ✓ Dynamic code execution No
From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.
Verified badge
Passed review? Show it. Paste this badge into your README, it links to the public security report.
Reliability & compatibility
Declared compatibility
Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.
We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.
How agent discovery & health will work →About
Verification Planner
Use this skill to prove specified requirements were met with reproducible evidence.
Workflow
- List each requirement and its acceptance criteria.
- Select one primary verification method per requirement: test, inspection, analysis, or demonstration.
- Define procedure, expected result, responsible verifier, and evidence artifact.
- Include negative or edge evidence when failure mode matters.
- Build a requirements-to-verification matrix with requirement ID, method, command/procedure, expected result, evidence, and status.
- Run or specify the narrowest reliable proof first, then broader regression checks.
- State explicitly what verification does not prove about user intent or operational fit.
- Hand intended-use questions to
validation-planner.
Source grounding
Start with references/source-grounding.md, then inspect Section 5.3 pages extraction/pages/page_098.md through extraction/pages/page_109.md and Appendix D pages extraction/pages/page_211.md through extraction/pages/page_212.md before making verification-specific claims.
Source & license
This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.
- Author: jon-devlapaz
- Source: jon-devlapaz/agentic-se-skills
- License: MIT
Install and usage instructions live in the source repository linked above.
Reviews
No reviews yet, be the first.
Write a review
Versions
- v0.1.0 Imported from the upstream source.