swift-verify
Pass
Audited by Gen Agent Trust Hub on Aug 15, 2026
Risk Level: SAFECOMMAND_EXECUTIONDATA_EXFILTRATIONPROMPT_INJECTION
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill processes untrusted project configuration files and source code, which creates a vulnerability surface for indirect prompt injection.
- Ingestion points: The skill reads project manifest files such as
Package.swift,Project.swift, andproject.yml, as well as the project's.swiftsource files during the detection and verification phases. - Boundary markers: There are no explicit instructions or delimiters provided to the agent to treat the contents of these project files as untrusted data or to ignore instructions embedded within them.
- Capability inventory: The skill has access to the
Bashtool to execute complex build and project generation commands likeswift build,swift test,tuist generate, andxcodegen generate. In SwiftPM and Tuist, the manifest files themselves are executable Swift code that runs during these processes. - Sanitization: The instructions do not specify any sanitization, validation, or isolated execution for the project manifests before the agent executes the build tools.
- [COMMAND_EXECUTION]: The skill instructions direct the agent to interpolate user-supplied arguments directly into shell commands, creating a potential command injection surface.
- Evidence: The
$ARGUMENTSvariable is used to collect user input likepathand--destination. These are then used in shell commands, such asxcodebuild -scheme <scheme> -destination "<dest>" test. If the agent platform does not strictly escape these inputs, an attacker providing values for these arguments could inject arbitrary shell commands (e.g., appending; commandto the destination string). - [DATA_EXFILTRATION]: While no explicit exfiltration is present, the combination of the
ReadandBashtools allows for the possibility of data being read and sent externally if the agent is manipulated via indirect injection in a project file.
Audit Metadata