Lean LSP MCP
قم بدمج FlowHunt مع خادم Lean LSP MCP لتمكين وكلاء الذكاء الاصطناعي من أتمتة براهين Lean الرياضية، وتقديم تشخيصات متقدمة، وإثبات تلقائي، وإكمالات للكود، وبحث عن النظريات من خلال اتصال LSP سلس مع VSCode وCursor وClaude Code والمزيد.
•
4 دقيقة قراءة