proof
Pass
Audited by Gen Agent Trust Hub on Jul 24, 2026
Risk Level: SAFENO_CODE
Full Analysis
- [SAFE]: The skill's primary function is to guide the AI agent in producing structured documentation (proofs) alongside code. It does not introduce any executable scripts, remote dependencies, or hidden commands.
- [NO_CODE]: The analyzed skill consists strictly of documentation guidelines and configuration files; it does not contain any executable scripts, binaries, or automated workflows that could perform unauthorized actions.
- [PROMPT_INJECTION]: The skill involves processing external data (source code, requirements, and manifests). While this presents a surface for indirect prompt injection if an attacker embeds instructions in these files, the skill itself does not utilize dangerous tools (like shell execution or network requests) that could be easily exploited, and it emphasizes logical verification over automated tool output. 1. Ingestion points: Production code, manifests, and requirement documents. 2. Boundary markers: None specified. 3. Capability inventory: Use of search and language tools to inventory production code. 4. Sanitization: None specified.
Audit Metadata