doc-claim-validator
Pass
Audited by Gen Agent Trust Hub on Sep 17, 2026
Risk Level: SAFEINDIRECT_PROMPT_INJECTIONCOMMAND_EXECUTIONEXTERNAL_DOWNLOADS
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill processes untrusted documentation files (.md) and instructs AI agents to discover and verify claims within that content. This creates a surface for indirect prompt injection if an attacker-controlled document contains instructions intended to bypass safety filters or manipulate the agent's code analysis results.
- Ingestion points: Markdown documentation files throughout the project directory, including README.md and manual files.
- Boundary markers: No specific delimiters or "ignore embedded instructions" warnings are used when passing documentation content to subagents for behavioral or architectural verification.
- Capability inventory: Verification agents have access to tools including Grep, Glob, Read, and Bash, providing a broad surface if an injection succeeds.
- Sanitization: The skill lacks explicit sanitization or filtering for extracted prose claims before they are interpolated into prompts for the Sonnet and Haiku models.
- [COMMAND_EXECUTION]: The provided Python scripts (
extract_claims.pyandverify_claims.py) execute local shell commands to facilitate codebase indexing and claim verification. - Evidence: The scripts use
subprocess.runto call system binaries likegit(for finding project roots and analyzing commit history) andgrep(for searching symbols and config keys). - Safety Context: These calls are implemented using list-based arguments without the shell, and patterns are escaped using
re.escape(), which follows best practices for preventing command injection. - [EXTERNAL_DOWNLOADS]: The skill includes functionality to verify the reachability of URLs found within documentation.
- Evidence: The
verify_urlfunction inscripts/verify_claims.pyusesurllib.request.Requestto perform HTTP HEAD requests to external domains. - Safety Context: This feature is opt-in (requiring the
--check-urlsflag) and is used solely for reachability checks without transmitting sensitive project data.
Audit Metadata