Run Stave against a tiny example observation and read your first findings — no AWS account…
EnglishDeploy a known-vulnerable Bishop Fox IAM lab, evaluate it with Stave, and confirm findings match the documented attack paths — trust via an independent…
EnglishExport Stave observation facts to JSONL/SMT-LIB and derive compound cross-asset chains with Z3, Soufflé, or Prolog — detection CEL alone cannot…
EnglishCapture a read-only configuration snapshot of your real AWS account and evaluate it with Stave on a local, deterministic…
EnglishVerify cloud infrastructure security using the Stave platform with machine-verifiable contracts at every…
EnglishWrite a reasoning specification for an external solver (Z3, cvc5, Soufflé, Clingo, Prolog, PRISM) that consumes Stave's SIR fact export, then trial it with a fresh…
EnglishAuthor a new CEL control in the Stave catalog with test-first discipline and binary-checkpoint…
EnglishConnect a new cloud data source to Stave by authoring a Steampipe → Stave observation…
English
AGENT SKILLS ATLASIncludes Stave First Evaluation, Stave Lab Validation, Stave Reasoning Engines, and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Stave First Evaluation
Run Stave against a tiny example observation and read your first findings — no AWS account required
Stave Lab Validation
Deploy a known-vulnerable Bishop Fox IAM lab, evaluate it with Stave, and confirm findings match the documented attack paths — trust via an independent oracle
Stave Reasoning Engines
Export Stave observation facts to JSONL/SMT-LIB and derive compound cross-asset chains with Z3, Soufflé, or Prolog — detection CEL alone cannot express
Stave Snapshot Your Account
Capture a read-only configuration snapshot of your real AWS account and evaluate it with Stave on a local, deterministic snapshot
Verifying Cloud Security
Verify cloud infrastructure security using the Stave platform with machine-verifiable contracts at every step
Writing Reasoning Specs
Write a reasoning specification for an external solver (Z3, cvc5, Soufflé, Clingo, Prolog, PRISM) that consumes Stave's SIR fact export, then trial it with a fresh agent
Writing Stave Controls
Author a new CEL control in the Stave catalog with test-first discipline and binary-checkpoint verification
Writing Steampipe Mappings
Connect a new cloud data source to Stave by authoring a Steampipe → Stave observation mapping
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 Stave First Evaluation 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.
- Reported license for the skills shown: Apache-2.0. The author’s terms apply.