Directory listings & awesome-list PRs (drafts)

Drafts for review — nothing submitted. Each item below is an external action (a submission or a PR to another repo) and is gated: prepared here, sent only on sign-off.

Getting Provael into the recognised discovery layer is how a scanner goes from repo to standard.

OECD.AI tools catalogue (submission draft)

The OECD.AI catalogue lists AI tools (AVID is listed there). Proposed entry:

• Name: Provael
• One-liner: Open, model-agnostic red-team scanner for Vision-Language-Action robot policies in simulation; reports an Attack Success Rate with confidence intervals and a benign-FPR control.
• Category: Technical → testing / red-teaming / robustness.
• License: Apache-2.0. Link: https://github.com/provael/provael

Awesome-list PRs (drafts)

Add a Provael entry (tool / benchmark / leaderboard) to the embodied-AI-safety discovery lists:

• x-zheng16/Awesome-Embodied-AI-Safety
• AI45Lab/Awesome-Trustworthy-Embodied-AI
• user1342/Awesome-LLM-Red-Teaming (embodied section)

Proposed line:

Provael — open, model-agnostic red-team scanner for VLA robot policies in simulation; Embodied AI Security Top-10 taxonomy, CI-native SARIF, ASR leaderboard.

Sequence

1. Land the public leaderboard + docs site (Phases 11–12) so listings point at something live.
2. Submit the OECD.AI entry.
3. Open the awesome-list PRs.
4. Open the ATLAS case-study and OWASP annex contributions (see the other drafts in this folder).

All four require explicit approval before sending.