هذا التقرير غير مترجم إلى اللغة المطلوبة. يتم عرض التقرير الإنجليزي الأساسي بدلاً منه.

تقييم أمني مُحدَّث بالإصدار

معرّف التقرير: SA-6ED9E368

8/31/2026, 11:24:38 AM

agy-worker تقييم أمني v3

تقرير شهادة أمان المهارة

سجل التدقيق
إصدار الماسح 3.0.0 نموذج التدقيق: codex تقرير تاريخي
اسم المهارة
agy-worker
الإصدار
v0.13.0
المشرف
cagdasyurekli
المصدر
github.com/cagdasyurekli/codex-agy-worker/tree/3da9a50afaa66492dd77f23f92c6ed4f84be4ada/skills/agy-worker
التغطية
111 الملفات التي تم فحصها · 34,779 الأسطر التي تم تحليلها
إصدار السياسة
skillstore-security-audit-policy-v1

أعلى مستوى خطورة لنتيجة مؤكدة

مرتفع

يتطلب 1 اكتشاف أمني مؤكد اهتمامًا.

سياق التثبيت

الأدلة التاريخية

قد لا يصف هذا التقرير العنصر القابل للتثبيت حاليًا. افتح صفحة المهارة الحالية للحصول على إرشادات التثبيت.

افتح صفحة Skill الحالية

لا يحظر هذا التقرير البيان أو ملف ZIP ولا يصرح بهما.

Of 400 static findings, 396 are lexical false positives from schema punctuation, defensive validation, documentation, or bounded local tooling. Confirmed risks are the external AGY launch, caller-selected verifier execution, and two legacy shell-verification paths. Default provider dispatch also creates a documented high-impact repository disclosure risk unless operators use a narrow approved scope. Static review was capped at 400/889 representative findings; omitted static matches are unconfirmed, so automatic publishing stays disabled until manual review.

موضع التقرير

تقرير تاريخي

افتح سجل التدقيق قبل استخدام هذا التقرير للتثبيت.

إقرار التدقيق

تم استبدال الإقرار

يوجد إقرار أحدث.

التحقق البشري

لم يتم التحقق منه

لم يتم تسجيل أي تحقق بشري لهذا التقرير.

التغطية

111 الملفات التي تم فحصها · 34,779 الأسطر التي تم تحليلها

5 عناصر معروضة للمراجعة

القيود

لا يدّعي هذا التقرير تنفيذًا في وقت التشغيل أو ضمن بيئة معزولة، ولا يثبت عدم وجود آثار جانبية.

سلسلة الأدلة

اتبع الأدلة من ربط المصدر إلى عقد التثبيت. تدعم الأدلة المتاحة التحقق؛ لكنها ليست ضمانًا للسلامة.

  1. المصدر

    الالتزام والمسار مرتبطان

  2. العنصر البرمجي

    تم ربط تجزئات المحتوى والشجرة.

  3. التدقيق

    مكتمل

  4. عقد التثبيت

    افتح البيان للتحقق

    افتح البيان

القدرات المرصودة

تعني «تمت ملاحظته» أن هذا التقرير سجل أدلة داعمة. ولا يثبت عدم التسجيل أن القدرة غير موجودة.

يحتوي على سكربتات

قد ينفذ تعليمات برمجية مضمنة مع المهارة.

تمت ملاحظته في 20 مواضع أدلة

الوصول إلى الشبكة

قد يتصل بخدمات خارجية.

تمت ملاحظته في 47 مواضع أدلة

الوصول إلى نظام الملفات

قد يقرأ أو يكتب ملفات محلية.

تمت ملاحظته في 50 مواضع أدلة

متغيرات البيئة

قد يقرأ قيماً من بيئة العملية.

تمت ملاحظته في 14 مواضع أدلة

الأوامر الخارجية

قد يستدعي أوامر أو برامج خارج المهارة.

تمت ملاحظته في 54 مواضع أدلة

عناصر مراجعة القدرات (4)
مرتفع
runtime/scripts/evidence_receipt.py:1521
Python os.exec variants
os.execvpe(command[0], command, dict(os.environ))
os.execvpe executes a caller-selected verifier program after argv validation. Shell parsing is excluded, but an approved verifier can still execute arbitrary local code with its allowed environment.
مرتفع
runtime/scripts/agy_dispatch.py:3908
Python subprocess.Popen
process = subprocess.Popen(
This Popen launches the external AGY provider process with repository work as its operating context. Approval and executable binding reduce abuse, but provider execution and data exposure remain material risks.
متوسط
runtime/qa-gate.sh:623
Unix shell invocation
/bin/bash -c "${verify_specs[$i]}"
The gate executes a caller-supplied verification specification with /bin/bash -c. Explicit legacy-shell and access acknowledgements mitigate accidental use, but approved text has full shell semantics.
متوسط
runtime/qa-gate.sh:639
Unix shell invocation
/bin/bash -c "${verify_specs[$i]}"
The gate executes a caller-supplied verification specification with /bin/bash -c. Explicit legacy-shell and access acknowledgements mitigate accidental use, but approved text has full shell semantics.

نتائج المخاطر

يتم فصل المخاوف الأمنية المؤكدة عن العناصر التي لا تزال بحاجة إلى مراجعة.

مخاوف أمنية مؤكدة (1)

RISK-001 مرتفع
SKILL.md:34-44references/SECURITY_AND_COMPATIBILITY.md:14-27
Repository Content Can Reach an External Provider
Default dispatch makes the disposable worktree readable and potentially transmissible to Google or Gemini. The skill requires approval and offers scoped staging, but sensitive repository data remains exposed when operators approve broad scope.
Both files explicitly state that the full worktree may be provider-readable and potentially transmitted. They also document approval and scoped-staging mitigations.

إجراءات المعالجة

سجّل هذا التدقيق الإصلاحات المقترحة. تطبيقها مسؤولية المشرف على الصيانة.

  1. FIX-001
    مرتفع
    Default dispatch can expose the complete disposable worktree to the external provider.
    Require provider scope by default and require a separate explicit override for whole-worktree transmission.
  2. FIX-002
    مرتفع
    Legacy verification evaluates caller-supplied text with bash.
    Deprecate shell verification and require canonical argv verification for marketplace installations.
  3. FIX-003
    مرتفع
    Verifier argv mode can execute any caller-selected local program.
    Require interactive confirmation for each verifier executable and keep credentials unavailable unless separately approved.
  4. FIX-004
    متوسط
    Static review capped
    Manually review the omitted 489 static analyzer matches or reduce bundled generated/vendor/reference content before enabling automatic publication.
  5. FIX-005
    منخفض
    Marketplace tool metadata lists Claude hosts while the skill documentation says they are unsupported.
    Align supported tool metadata with the documented Codex-only runtime requirement.

أدلة الخبراء

هوية موضوع غير قابلة للتغيير، وبيانات تعريف الماسح الضوئي، والمطابقات المستبعدة، والأدلة على مستوى المصدر.

موضوع العنصر البرمجي

التزام Marketplace
6ed9e36896e8a9b54a50be448d7ebef54ac3b934
تجزئة المحتوى
71450ff8ebb8ee220a42509d80913d7049bbe95dd539b08f9ab6c5fe2772c6b2
تجزئة الشجرة
4d9bf44dcbabddf52900da0055631ab72e324b6690e188af42b080a6c20f142b
مسار Skill
skills/cagdasyurekli/agy-worker
تجزئة حمولة التدقيق
30d9d3cbe9c4468baf2ad4d676bd2701

البيانات الوصفية للتحليل

نموذج التدقيق: codex

حالة التحليل: مكتمل

النطاق محدود بالملفات والأسطر والأساليب والأدلة المسجلة. لا يُدّعى تنفيذ وقت التشغيل أو بيئة الاختبار المعزولة.

التحقق والتصدير

تقرير JSON إقرار تدقيق موقّع CITATION.cff SARIF 2.1.0 بيان تثبيت موقّع المصدر

يربط البيان وملف القفل عناصر التثبيت بتجزئات تشفيرية. هذا الادعاء المتعلق بالسلامة منفصل عن التقييم الأمني.

إقرار التدقيق: superseded