このレポートには指定された言語の翻訳がありません。代わりに正規の英語レポートを表示しています。
バージョン付きセキュリティ評価
レポートID: SA-5526951B
9/12/2026, 6:26:33 PM
agy-worker セキュリティ評価 v6
スキルセキュリティ認証レポート
スキャナーバージョン 3.0.0 監査モデル: claude 過去のレポート
- スキル名
- agy-worker
- バージョン
- v0.18.0
- メンテナー
- cagdasyurekli
- カバレッジ
- 92 スキャンされたファイル · 37,573 解析済み行数
- ポリシーバージョン
- skillstore-security-audit-policy-v1
確認済み検出結果の概要
確認済みのセキュリティ上の指摘はありません
完了した監査では、確認済みのセキュリティ上の検出事項は記録されませんでした。これは、Skill に副作用がないことの証明ではありません。
インストールのコンテキスト
履歴上の証拠
このレポートは、現在インストール可能な成果物を説明していない可能性があります。インストールに関するガイダンスについては、現在の Skill ページを開いてください。
現在のスキルページを開くこのレポートは、マニフェストまたは ZIP をブロックも承認もしません。
Most reviewed matches are false positives from documentation, schemas, validation literals, fixed Git commands, and type annotations. Confirmed risks are provider execution, approved verifier execution, legacy shell verification, selected environment forwarding, and opt-in access to Antigravity user settings. No prompt injection or exfiltration intent was found, but 565 capped static matches still require manual review before automatic publication. Static review was capped at 400/965 representative findings; omitted static matches are unconfirmed, so automatic publishing stays disabled until manual review.
レポートの位置
過去のレポート
このレポートを使用してインストールする前に、監査履歴を開いてください。
監査アテステーション
証明は置き換えられました
より新しい証明が存在します。
人による検証
未検証
このレポートには人による検証は記録されていません。
カバレッジ
92 スキャンされたファイル · 37,573 解析済み行数
レビュー対象の項目を 12 件表示
制限事項
このレポートはランタイムまたはサンドボックスでの実行を主張するものではなく、副作用がないことを証明するものでもありません。
証拠チェーン
ソースバインディングからインストール契約まで証拠をたどってください。利用可能な証拠は検証を支援しますが、安全性を保証するものではありません。
ソース
コミットとパスにバインド済み
アーティファクト
コンテンツとツリーのハッシュがバインド済み
監査
完了
確認された機能
「確認」とは、このレポートで裏付けとなる証拠が記録されていることを意味します。「記録なし」は、機能が存在しないことを証明するものではありません。
スクリプトを含む
Skillに含まれるコードを実行する場合があります。
22 件の証拠箇所で確認
ネットワークアクセス
外部サービスに接続する場合があります。
38 件の証拠箇所で確認
ファイルシステムへのアクセス
ローカルファイルの読み取りまたは書き込みを行う可能性があります。
50 件の証拠箇所で確認
環境変数
プロセス環境から値を読み取る可能性があります。
15 件の証拠箇所で確認
外部コマンド
Skillの外部にあるコマンドまたはプログラムを呼び出す場合があります。
55 件の証拠箇所で確認
機能レビュー項目 (12)
高
Hidden file in home directory
p = os.path.expanduser("~/.gemini/antigravity-cli/settings.json")
The optional account diagnostic reads ~/.gemini/antigravity-cli/settings.json and prints permission policy values. This is explicit but real access to private user configuration outside the repository.
高
Python os.exec variants
os.execvpe(command[0], command, dict(os.environ))
The verifier executor replaces its process with a caller-approved command after argv validation. It avoids shell parsing, but intentionally executes project tooling with the supplied environment.
高
Python subprocess.Popen
process = subprocess.Popen(
This call launches the approved verifier argv with the worker's process authority. Containment and limits reduce exposure, but project verification commands can execute repository code.
高
Python subprocess.Popen
process = subprocess.Popen(
This call launches the selected Antigravity provider process with approved repository scope, environment, and network access. External execution is the skill's core security-sensitive capability.
高
Unix shell invocation
/bin/bash -c "${verify_specs[$i]}"
Legacy verification passes a free-form verifier specification to /bin/bash -c. Any untrusted interpolation in that approved string can execute unintended shell commands.
高
Unix shell invocation
/bin/bash -c "${verify_specs[$i]}"
Legacy verification passes a free-form verifier specification to /bin/bash -c. Any untrusted interpolation in that approved string can execute unintended shell commands.
中
Hidden file access
p = os.path.expanduser("~/.gemini/antigravity-cli/settings.json")
The optional account diagnostic reads ~/.gemini/antigravity-cli/settings.json and prints permission policy values. This is explicit but real access to private user configuration outside the repository.
低
Python environment access
if name in os.environ:
The verifier path reads explicitly named environment variables, which may include credentials. This access is opt-in but can expose those values to an executed verifier.
低
Python environment access
(os.fsencode(name), b"\0", os.fsencode(os.environ[name]), b"\0")
This line serializes explicitly selected environment values into a private verifier pipe. The control is deliberate, but credential values can reach verifier processes.
低
Python environment access
os.execvpe(command[0], command, dict(os.environ))
The approved verifier command inherits the sanitized process environment through os.execvpe. Any explicitly allowed credential variables become available to that command.
低
Python environment access
environment = os.environ.copy()
The GitHub feedback fetch copies the current environment before launching gh, so authentication variables can reach that networked child. The operation is explicit and metadata-only.
低
Python environment access
environment = {name: os.environ[name] for name in allowed if name in os.environ}
The provider environment includes caller-selected variable names after validation. This intentionally permits approved environment values, including possible secrets, to reach Antigravity.
リスク指摘
確認済みのセキュリティ上の懸念事項は、引き続きレビューが必要な項目と分けて表示されます。
この完了済み監査には、確認済みのセキュリティ検出事項は記録されていません。
是正措置
この監査で推奨される修正が記録されています。これらを適用する責任はメンテナーにあります。
- FIX-001高Legacy verification executes a free-form string through Bash.Remove legacy shell verification or require canonical argv arrays with no shell interpretation.
- FIX-002高Provider and verifier processes can execute repository tooling with granted host authority.Default to native containment where supported, restrict executable paths, enforce timeouts, and require explicit approval for every environment value.
- FIX-003高Static review was capped at 400 of 965 matches.Manually review the remaining 565 matches and repeat adjudication without a cap before automatic publication.
- FIX-004中Static review cappedManually review the omitted 565 static analyzer matches or reduce bundled generated/vendor/reference content before enabling automatic publication.
- FIX-005中Account diagnostics read Antigravity settings from the user home directory.Keep this action opt-in, read only documented permission fields, and redact all output before logs or reports.
専門家による証拠
不変の対象ID、スキャナーメタデータ、除外された一致項目、およびソースレベルの証拠。
アーティファクト主体
- Marketplace コミット
- 5526951beaeca22519572a471618555839b53b05
- コンテンツハッシュ
- 2454a73046aecb0ba4b70b075453c4aa597bb5410609f68176136668b723a9df
- ツリーハッシュ
- abc9f9f0aeea90ea83550ca9d3dc7c51fb1471e92e0ce135d82964de79c51725
- Skill パス
- skills/cagdasyurekli/agy-worker
- 監査ペイロードハッシュ
- 2d2ffd8c2ee903b3b8f4b419dcc47632
分析メタデータ
監査モデル: claude
分析状態: 完了
対象範囲は、記録されたファイル、行、メソッド、および証拠に限定されます。ランタイムまたはサンドボックスでの実行は主張していません。
検証とエクスポート
マニフェストとロックファイルは、インストール成果物を暗号学的ハッシュに結び付けます。この完全性に関する主張は、セキュリティ評価とは別のものです。
監査アテステーション: superseded