cajal-technologies

عرض على مستوى المستودعات لـ 2 skills مجمعة عبر 1 مستودعات GitHub.

skills مجمعة

مستودعات

محدث

2026-06-08

خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

مستكشف المستودعات

منشئ/مستودع/skill

skill

المهنة

الوصف

آخر تحديث

Lean LSP MCP tools for interactive Lean proof development — tool reference, workflows, and examples

Lean LSP MCP tools for interactive Lean proof development — tool reference, workflows, and examples

عرض 1 من أصل 1 مستودعات

تم تحميل كل المستودعات