المهارات type-driven-design-rust

📦

type-driven-design-rust

Name: type-driven-design-rust
Author: EmilLindfors

مراجعة المحتوى r1 آمن ⚙️ الأوامر الخارجية🌐 الوصول إلى الشبكة

صمّم واجهات API في Rust أكثر أمانًا باستخدام الأنواع

يمكن لواجهات API في Rust أن تسمح بحالات غير صالحة أو قيم متبادلة عندما تبقى الثوابت في منطق وقت التشغيل. توضّح هذه المهارة كيفية ترميز الثوابت باستخدام newtypes وtypestate وbuilders وphantom types وsession types.

يدعم: Claude Codex Code(CC)

🥉 77 برونزي

التثبيت باستخدام Agent لدي

انسخ هذا الطلب إلى Agent لديك. يتضمن صفحة Skill المعتمدة وملف manifest.

طلب الوكيل

Review the Skillstore skill "type-driven-design-rust" from https://skillstore.io/skills/emillindfors-type-driven-design.md and its manifest at https://skillstore.io/api/skills/emillindfors-type-driven-design/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.

يجب أن يواصل Agent عرض خطته وطلب أي تأكيد تفرضه سياسة الأمان.

موارد مهيّأة لـ Agents

استخدم هذه الروابط عندما يحتاج AI Agent أو crawler أو script إلى سياق نظيف بدلًا من قراءة الصفحة كاملة.

تفاصيل Markdown GET /skills/emillindfors-type-driven-design.md manifest موقَّع GET /api/skills/emillindfors-type-driven-design/manifest lockfile موقَّع GET /api/skills/emillindfors-type-driven-design/lockfile

اختبرها

جارٍ استخدام "type-driven-design-rust". أحتاج إلى منع الخلط بين UserId وOrderId في استدعاءات الخدمة.

النتيجة المتوقعة:

توصي المهارة بأغلفة newtype منفصلة حول تمثيل المعرّف المشترك.
تشرح constructors وaccessors وتواقيع الدوال التي ترفض نوع المعرّف الخاطئ.
توضح أين يجب تنفيذ التحويلات وسلوك العرض.

جارٍ استخدام "type-driven-design-rust". يسمح request builder لدي بطلبات POST بدون body.

النتيجة المتوقعة:

تربط المهارة builder بحالات method وbody.
تجعل send متاحًا فقط لمجموعات الحالات الصالحة.
تشرح لماذا تفشل تسلسلات الطلبات غير الصالحة أثناء الترجمة.

جارٍ استخدام "type-driven-design-rust". أريد نمذجة جلسة قاعدة بيانات مع المصادقة والمعاملات.

النتيجة المتوقعة:

تحدد المهارة حالات الجلسة والانتقالات المسموح بها.
تفصل الطرق حسب الحالة بحيث لا يمكن للجلسات غير المصادق عليها بدء المعاملات.
تصف مفاضلات سهولة الاستخدام والتعقيد في هذا التصميم.

التدقيق الأمني

آمن

v4 • ٦‏/٧‏/٢٠٢٦ فتح التقرير المرتبط بالإصدار

All static findings were adjudicated as false positives. The backtick detections are Markdown code fences, the URLs are examples or documentation links, and the reconnaissance matches are benign Rust type-design text.

الملفات التي تم فحصها

799

الأسطر التي تم تحليلها

عناصر المراجعة

تم تجاهل الإيجابيات الكاذبة

عوامل الخطر

لم يكتشف أحدث تدقيق ثابت ودلالي مكتمل أي نتائج أمنية مؤكدة. ولا يثبت ذلك أن المهارة خالية من الآثار الجانبية.

دقّقه: codex عرض سجل التدقيق →

شارك واستشهد بهذا التقرير

شارك تقرير التقييم المرتبط بالإصدار والشارة المحايدة وبطاقة التضمين والاستشهادات. تعرض Skillstore الأدلة من دون أن تقرر ما إذا كانت هذه المهارة آمنة.

فتح التقرير المرتبط بالإصدار

نسخ رابط التقرير

https://skillstore.io/skills/emillindfors-type-driven-design/audits/4?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

شارة Markdown

[![Skillstore security assessment](https://skillstore.io/badges/skills/emillindfors-type-driven-design/security.svg)](https://skillstore.io/skills/emillindfors-type-driven-design?utm_source=security_passport_badge)

شارة HTML

<a href="https://skillstore.io/skills/emillindfors-type-driven-design?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/emillindfors-type-driven-design/security.svg" alt="Skillstore security assessment" loading="lazy"></a>

بطاقة قابلة للتضمين

<iframe src="https://skillstore.io/embed/skills/emillindfors-type-driven-design.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>

الاستشهادات الأكاديمية (APA · BibTeX · CFF)

اقتباس APA

EmilLindfors. (2026). type-driven-design-rust security audit report (audit version 4) [Author version unspecified]. Skillstore. https://skillstore.io/skills/emillindfors-type-driven-design/audits/4

اقتباس BibTeX

@techreport{emillindfors-emillindfors-type-driven-design-2026,
  author = {EmilLindfors},
  title = {type-driven-design-rust security audit report (audit version 4)},
  institution = {Skillstore},
  year = {2026},
  number = {4},
  url = {https://skillstore.io/skills/emillindfors-type-driven-design/audits/4},
  note = {Author version unspecified}
}

CITATION.cff

cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "type-driven-design-rust security audit report (audit version 4)"
version: "unspecified"
type: report
authors:
  - name: "EmilLindfors"
date-released: "2026-07-06"
url: "https://skillstore.io/skills/emillindfors-type-driven-design/audits/4"
identifiers:
  - type: other
    value: "skillstore:emillindfors-type-driven-design:audit:4"
    description: "Skillstore immutable audit report identifier"

تقييم Skillstore

سبب هذا التقييم موثوقية الأدلة: مرتفع

الهندسة المعمارية

قابلية الصيانة

المحتوى

المجتمع

الامتثال للمواصفات

ما الذي يمكنك بناؤه

منع إساءة استخدام واجهة API

صمّم واجهات API للمكتبات تجعل ترتيب استدعاء الطرق غير الصالح والقيم المطلوبة المفقودة مستحيلة الترجمة.

نمذجة ثوابت النطاق

مثّل المعرّفات والوحدات والقيم المتحقق منها بأنواع مميزة بدلًا من قيم أولية مشتركة.

تعليم أنماط Rust أكثر أمانًا

اشرح تقنيات مستوى النوع بأمثلة قبل وبعد توضّح ضمانات وقت الترجمة.

جرّب هذه الموجّهات

نمذجة Newtype

لدي [value type] يُستخدم من أجل [domain meaning]. اعرض تصميم Rust newtype يمنع خلط القيم، مع constructors وأمثلة استخدام.

إضافة Typestate إلى سير عمل

أعد صياغة سير عمل Rust هذا إلى واجهة API تعتمد على typestate. الحالات هي [states]، والانتقالات المسموح بها هي [transitions]. اشرح ضمانات وقت الترجمة.

بناء Builder في وقت الترجمة

صمّم Rust builder لـ [configuration object] حيث يجب تعيين [required fields] قبل إتاحة build. ضمّن الحقول الاختيارية والمفاضلات.

تصميم بروتوكول Session

أنشئ تصميم session-type لـ [protocol]. يجب أن يفرض البروتوكول [authentication, transaction, cleanup, or other steps] في وقت الترجمة.

أفضل الممارسات

ابدأ بالثوابت التي تسبب أخطاء حقيقية عندما لا يتم التحقق منها إلا في وقت التشغيل.
اجعل marker types وconstructors صغيرة حتى تبقى واجهة API العامة سهلة القراءة.
اشرح إخفاقات وقت الترجمة بوضوح حتى يفهم المستدعون كيفية الوصول إلى الحالات الصالحة.

تجنب

لا تستخدم typestate لكل قيمة منطقية أو قاعدة تحقق بسيطة.
لا تكشف constructors غير متحققة تتجاوز الثابت الذي يرمّزه النوع.
لا تخفِ أخطاء generic المعقدة عن المستخدمين دون أمثلة أو type aliases.

الأسئلة المتكررة

ما أنماط Rust التي تغطيها هذه المهارة؟

تغطي newtypes وtypestate وcompile-time builders وphantom types وsession types وثوابت مستوى النوع.

هل يمكنها المساعدة في إعادة صياغة واجهة API موجودة في Rust؟

نعم. قدّم واجهة API الحالية والحالات غير الصالحة والانتقالات المطلوبة، ثم اطلب إعادة تصميم موجّهة بالأنواع.

هل تنفّذ المهارة كود Rust؟

لا. إنها توفر إرشادات تصميم وأمثلة، لكنها لا تترجم الكود أو تشغّله بنفسها.

متى يجب أن أتجنب التصميم الموجّه بالأنواع؟

تجنبه عندما تكون الحالات ديناميكية جدًا أو عندما يفوق تعقيد generic الإضافي فائدة الأمان.

هل هذا مفيد للمبتدئين؟

نعم. تبدأ المهارة بأمثلة newtype بسيطة قبل الانتقال إلى typestate وsession types.

كيف أستخدمها مع Claude أو Codex أو Claude Code؟

شارك هدف واجهة API في Rust والثوابت والعمليات غير الصالحة. اطلب تصميمًا يجعل تلك العمليات غير الصالحة غير قابلة للتمثيل.

تفاصيل المطور

المؤلف

EmilLindfors

الترخيص

MIT

مراجعة Skillstore

تنبيه الإصدار

لم يعلن المؤلف عن إصدار.

المستودع

https://github.com/EmilLindfors/claude-marketplace/tree/main/plugins/rust-modern-patterns/skills/type-driven-design

مرجع

a06681402992ceae98ba04d54cfd4ab004862696

حداثة الصيانة

٢٢‏/٧‏/٢٠٢٦

الاستخدام

5 تنزيلات · 150 مشاهدات

بنية الملفات

📄 SKILL.md

type-driven-design-rust

التثبيت باستخدام Agent لدي

موارد مهيّأة لـ Agents

اختبرها

التدقيق الأمني

عوامل الخطر

نسخ رابط التقرير

شارة Markdown

شارة HTML

بطاقة قابلة للتضمين

اقتباس APA

اقتباس BibTeX

CITATION.cff

تقييم Skillstore

ما الذي يمكنك بناؤه

منع إساءة استخدام واجهة API

نمذجة ثوابت النطاق

تعليم أنماط Rust أكثر أمانًا

جرّب هذه الموجّهات

أفضل الممارسات

تجنب

الأسئلة المتكررة

تفاصيل المطور

المزيد من EmilLindfors

let-chains-advisor

test-coverage-advisor

mock-strategy-guide

lambda-optimization-advisor

port-adapter-designer

domain-layer-expert

python-fastapi-patterns

api-designer

senior-backend

tool-design

enact-hello-rust

api-design

type-driven-design-rust

التثبيت باستخدام Agent لدي

موارد مهيّأة لـ Agents

اختبرها

التدقيق الأمني

عوامل الخطر

نسخ رابط التقرير

شارة Markdown

شارة HTML

بطاقة قابلة للتضمين

اقتباس APA

اقتباس BibTeX

CITATION.cff

تقييم Skillstore

ما الذي يمكنك بناؤه

منع إساءة استخدام واجهة API

نمذجة ثوابت النطاق

تعليم أنماط Rust أكثر أمانًا

جرّب هذه الموجّهات

أفضل الممارسات

تجنب

الأسئلة المتكررة

تفاصيل المطور

المزيد من EmilLindfors

let-chains-advisor

test-coverage-advisor

mock-strategy-guide

lambda-optimization-advisor

port-adapter-designer

domain-layer-expert

مهارات ذات صلة

python-fastapi-patterns

api-designer

senior-backend

tool-design

enact-hello-rust

api-design