Adversarial last-line verification for completed software and releases. Reconstruct impact, attack risks, build meaningful oracles, execute authorized checks, and issue a traceable release verdict.
EnglishIndependently challenge software-verification packages for missed catastrophic risks, weak oracles, misleading mocks, unsupported claims, unsafe tests, broken traceability, and overclaimed status.
English
AGENT SKILLS ATLASIncludes Software Verification and Verification Reviewer.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Software Verification
Adversarial last-line verification for completed software and releases. Reconstruct impact, attack risks, build meaningful oracles, execute authorized checks, and issue a traceable release verdict.
Verification Reviewer
Independently challenge software-verification packages for missed catastrophic risks, weak oracles, misleading mocks, unsupported claims, unsafe tests, broken traceability, and overclaimed status.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Software Verification skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- License details are not provided in these listings. Check the author’s terms before using the skills.