Examples gallery

Copy-paste runnable examples, simplest first. CPU examples need only pip install provael.

• First scan (CPU)

  ---

  All four attack families on the stub in < 1 s.

  01-first-scan-cpu

• Red-team a real VLA

  ---

  SmolVLA × LIBERO (GPU + [lerobot]).

  02-redteam-smolvla-libero

• Cross-suite validation

  ---

  Same attacks, two suites — generality with data.

  cross_suite_validation

• Reproduce famous attacks

  ---

  FreezeVLA / OpenVLA-patch / BadVLA / RoboPAIR.

  reproductions

• Model adapters

  ---

  π0, GR00T, OpenVLA, bring-your-own VLA.

  adapters

• Pre-deployment scorecard

  ---

  One-page verdict + EAI heatmap.

  scorecard

• CI gates

  ---

  GitHub / GitLab / Azure + regression-gate.

  ci

• Integrations

  ---

  promptfoo / garak / PyRIT + SARIF aggregators.

  integrations

• Runtime firewall

  ---

  A defense demo — ASR with vs. without.

  runtime

• Compliance evidence

  ---

  Worked EU AI Act Art. 15 pack.

  evidence