تكامل خادم LSP MCP
يصل خادم LSP MCP خوادم بروتوكول خادم اللغة (LSP) بمساعدي الذكاء الاصطناعي، مما يمكّن من تحليل الشيفرة المتقدم، والإكمال الذكي، والتشخيصات، وأتمتة المحرر من خلال...
5 دقيقة قراءة
AI
Code Intelligence
+4
LSP
خادم Lean LSP MCP
يعمل خادم Lean LSP MCP كجسر بين المساعدات الذكية ومشاريع Lean Theorem Prover عبر بروتوكول خادم اللغة، مما يمكّن الوكلاء من الوصول إلى التشخيصات، حالات الأهداف، ...
4 دقيقة قراءة
Lean
LSP
+4