ما هي aristotle-lean؟
إثبات نظرية Lean4 لمستوى الميدالية الذهبية للمنظمة البحرية الدولية عبر Harmonic API المصدر: plurigrid/asi.
·aristotle-lean
</>
aristotle-lean
✓إثبات نظرية Lean4 لمستوى الميدالية الذهبية للمنظمة البحرية الدولية عبر Harmonic API
التثبيت
كيفية تثبيت aristotle-lean
ثبّت مهارة الذكاء الاصطناعي aristotle-lean بسرعة في بيئة التطوير لديك عبر سطر الأوامر
- افتح الطرفية: افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal
- نفّذ أمر التثبيت: انسخ ونفّذ هذا الأمر: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean
- تحقق من التثبيت: بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
المصدر: plurigrid/asi.
SKILL.md
عرض النص الخامTrit: -1 (MINUS) Domain: Formal Verification / Theorem Proving Provider: Harmonic (harmonic.fun)
Aristotle is an IMO Gold Medal level Lean4 theorem prover that fills sorry holes in proofs, auto-generates counterexamples for false statements, and integrates with Mathlib and lake dependencies.
| MiniF2F | 90% | | VERINA | 96.8% |
إثبات نظرية Lean4 لمستوى الميدالية الذهبية للمنظمة البحرية الدولية عبر Harmonic API المصدر: plurigrid/asi.
حقائق جاهزة للاقتباس
حقول وأوامر مستقرة للاقتباس في أنظمة الذكاء الاصطناعي والبحث.
- أمر التثبيت
npx skills add https://github.com/plurigrid/asi --skill aristotle-lean- المصدر
- plurigrid/asi
- الفئة
- </>أدوات التطوير
- موثق
- ✓
- أول ظهور
- 2026-02-01
- آخر تحديث
- 2026-03-10
إجابات سريعة
كيف أثبّت aristotle-lean؟
افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal انسخ ونفّذ هذا الأمر: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
أين مستودع المصدر؟
https://github.com/plurigrid/asi
التفاصيل
- الفئة
- </>أدوات التطوير
- المصدر
- skills.sh
- أول ظهور
- 2026-02-01