topos-generate

In Set: Ω = {0, 1} = Bool In Sh(X): Ω = {open subsets of X} In Sh(C,J): Ω = sieves

| Set | Classical sets | Standard math | | Sh(X) | Varying sets over X | Geometry | | Sh(G) | G-sets | Symmetry | | Eff | Computable functions | Computability | | Dialectica | Proof-relevant math | Type theory |

مهارة توليد التوبوس (زائد +1) المصدر: plurigrid/asi.

افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal انسخ ونفّذ هذا الأمر: npx skills add https://github.com/plurigrid/asi --skill topos-generate بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw