Lean

خادم Lean LSP MCP

يعمل خادم Lean LSP MCP كجسر بين المساعدات الذكية ومشاريع Lean Theorem Prover عبر بروتوكول خادم اللغة، مما يمكّن الوكلاء من الوصول إلى التشخيصات، حالات الأهداف، ...