verification-audit
Pass
Audited by Gen Agent Trust Hub on Sep 24, 2026
Risk Level: SAFE
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill processes external data, including JSON bundles and Markdown PR bodies, representing a standard injection surface.
- Ingestion points: The
validate,reduce, andvalidate-prcommands inscripts/verification_contract.pyread user-provided file paths. - Boundary markers: The skill enforces a rigorous JSON schema (
verification-contract-v2.json) and specific Markdown structure requirements, effectively delimiting untrusted content. - Capability inventory: Operations are limited to data validation and deterministic reduction. The skill does not possess network capabilities or the ability to write to arbitrary files in its operational scripts.
- Sanitization: Inputs are strictly validated against types, enums, and required fields defined in the contract. PR bodies are parsed using regex to ensure expected headings and blocks are present without executing the prose content.
- [COMMAND_EXECUTION]: The test suite (
tests/test_verification_contract.py) usessubprocess.runto verify the skill's own command-line interface. - Evidence: Found in the
CliTestsclass within the test file. - Assessment: The commands are explicitly bound to the skill's internal Python script using
sys.executableand do not utilize a shell for execution, adhering to secure coding practices for automated testing.
Audit Metadata