ما هي prove؟
النظرية الرسمية التي تثبت بمراحل البحث والاختبار والتحقق المصدر: namesreallyblank/clorch.
·prove
</>
prove
النظرية الرسمية التي تثبت بمراحل البحث والاختبار والتحقق
كيفية تثبيت prove
ثبّت مهارة الذكاء الاصطناعي prove بسرعة في بيئة التطوير لديك عبر سطر الأوامر
- افتح الطرفية: افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal
- نفّذ أمر التثبيت: انسخ ونفّذ هذا الأمر: npx skills add https://github.com/namesreallyblank/clorch --skill prove
- تحقق من التثبيت: بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
المصدر: namesreallyblank/clorch.
SKILL.md
عرض النص الخامFor mathematicians who want verified proofs without learning Lean syntax.
First run of /prove will download Mathlib (2GB) via lake build.
| Loogle | Type signature search (PRIMARY) | loogle-search "pattern" | | Nia MCP | Library documentation | mcpniasearch | | Perplexity MCP | Proof strategies, papers | mcpperplexitysearch | | WebSearch | General references | WebSearch tool | | WebFetch | Specific paper/page content | WebFetch tool |
النظرية الرسمية التي تثبت بمراحل البحث والاختبار والتحقق المصدر: namesreallyblank/clorch.
حقائق جاهزة للاقتباس
حقول وأوامر مستقرة للاقتباس في أنظمة الذكاء الاصطناعي والبحث.
- أمر التثبيت
npx skills add https://github.com/namesreallyblank/clorch --skill prove- المصدر
- namesreallyblank/clorch
- الفئة
- </>أدوات التطوير
- موثق
- —
- أول ظهور
- 2026-02-01
- آخر تحديث
- 2026-03-10
إجابات سريعة
كيف أثبّت prove؟
افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal انسخ ونفّذ هذا الأمر: npx skills add https://github.com/namesreallyblank/clorch --skill prove بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
أين مستودع المصدر؟
https://github.com/namesreallyblank/clorch
التفاصيل
- الفئة
- </>أدوات التطوير
- المصدر
- user
- أول ظهور
- 2026-02-01