review-anvil
Pass
Audited by Gen Agent Trust Hub on Oct 27, 2026
Risk Level: SAFECOMMAND_EXECUTIONINDIRECT_PROMPT_INJECTIONDYNAMIC_EXECUTION
Full Analysis
- [COMMAND_EXECUTION]: The skill executes build and test commands as part of its fix verification loop.
- Commands are derived from user parameters (
verify_cmd) or auto-detected from standard repository files likepackage.json,Makefile, and common test frameworks. - Execution is performed through a wrapper (
run-reviewer.sh) that enforces wall-clock timeouts and captures exit statuses to prevent silent hangs. - [INDIRECT_PROMPT_INJECTION]: The skill processes untrusted data from the repository under review, including code and Pull Request history.
- Ingestion points: The skill fetches PR diffs, bodies, and review history (
SKILL.mdSection 1). - Boundary markers: Review history is encapsulated in a dedicated block in the prompt, and specific instructions are provided to identify the source of each entry.
- Capability inventory: The skill can execute shell commands, read and write files, and create Git commits.
- Sanitization: The instructions explicitly mandate that the agent must treat author replies as untrusted technical claims to be validated against the code, rather than instructions to follow (
SKILL.mdSection 1, Section 3). - [DYNAMIC_EXECUTION]: The skill supports an opt-in isolated proof runner for executing probes to verify findings.
- Execution requires an absolute path to a trusted runner executable located outside the reviewed worktree (
SKILL.mdParsing section). - The execution environment is heavily sanitized by
scripts/run-proof.sh, which disables network access, provides read-only access to source and proof inputs, and bounds system resources. - Fingerprinting logic is implemented to detect and reject any mutations to the source tree or proof inputs during execution.
Audit Metadata