
خادم Lean LSP MCP
يعمل خادم Lean LSP MCP كجسر بين المساعدات الذكية ومشاريع Lean Theorem Prover عبر بروتوكول خادم اللغة، مما يمكّن الوكلاء من الوصول إلى التشخيصات، حالات الأهداف، ...
افتح إمكانيات الذكاء البرمجي المتقدم في FlowHunt مع خادم LSP MCP—تمكين التنقل الذكي في الشيفرة، التشخيصات، الإكمالات، وتدفقات العمل المتكاملة للمطورين بتقنية الذكاء الاصطناعي.
يعمل خادم LSP MCP (بروتوكول سياق النماذج) كجسر بين خوادم بروتوكول خادم اللغة (LSP) ومساعدي الذكاء الاصطناعي. من خلال الاتصال بخادم LSP، يمكّن النماذج اللغوية الكبيرة وعملاء الذكاء الاصطناعي الآخرين من التفاعل مع قواعد الشيفرة عبر ميزات LSP القياسية. يتيح ذلك لأدوات الذكاء الاصطناعي إجراء تحليل متقدم للشيفرة، وجلب توثيقات التلميح الفوري، واستقبال اقتراحات إكمال الشيفرة، والوصول إلى التشخيصات، وحتى تطبيق إجراءات الشيفرة مباشرة داخل المحرر أو تدفق العمل البرمجي. يعزز خادم LSP MCP إنتاجية المطورين من خلال تسهيل التفاعل السلس المدعوم بالذكاء الاصطناعي مع الشيفرة المصدرية، مما يجعل مهام مثل التنقل في الشيفرة، تصحيح الأخطاء، وإكمال الشيفرة الذكي أكثر سهولة وأتمتة.
لا توجد قوالب أو نماذج تعليمات محددة مذكورة في المستودع أو التوثيق.
lsp-diagnostics://
lsp-hover://
lsp-completions://
get_info_on_location
get_completions
get_code_actions
open_document
close_document
get_diagnostics
start_lsp
restart_lsp_server
set_log_level
mcpServers
:{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
mcpServers
:{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
claude --mcp-debug
للحصول على السجلات.{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
تأمين مفاتيح API
إذا كان خادم LSP أو إعداد MCP يتطلب مفاتيح API، استخدم متغيرات البيئة لضمان الأمان:
{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
],
"env": {
"API_KEY": "${LSP_API_KEY}"
},
"inputs": {
"api_key": "${LSP_API_KEY}"
}
}
}
}
استخدام MCP في FlowHunt
لدمج خوادم MCP في تدفق عملك على FlowHunt، ابدأ بإضافة مكون MCP إلى التدفق وربطه بوكيل الذكاء الاصطناعي الخاص بك:
انقر على مكون MCP لفتح لوحة الإعدادات. في قسم إعدادات النظام لـ MCP، أدخل تفاصيل خادم MCP الخاص بك باستخدام هذا التنسيق في JSON:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
بمجرد الإعداد، سيتمكن وكيل الذكاء الاصطناعي الآن من استخدام هذا MCP كأداة مع إمكانية الوصول إلى جميع وظائفه وقدراته. تذكر تغيير “lsp-mcp” إلى اسم خادم MCP الخاص بك واستبدال الرابط بعنوان خادم MCP الخاص بك.
القسم | متوفر | التفاصيل/ملاحظات |
---|---|---|
نظرة عامة | ✅ | النظرة العامة موجودة في README.md |
قائمة القوالب | ⛔ | لا توجد قوالب تعليمات مذكورة |
قائمة الموارد | ✅ | التشخيصات، التلميح الفوري، الإكمالات موثقة |
قائمة الأدوات | ✅ | 8 أدوات: get_info_on_location, get_completions, إلخ. |
تأمين مفاتيح API | ✅ | مثال لمتغيرات البيئة موجود |
دعم العينة (أقل أهمية في التقييم) | ⛔ | لا يوجد ذكر لدعم العينة |
يقدم خادم LSP MCP توثيقًا شاملاً، ونطاقًا واسعًا من الأدوات والموارد للتفاعل مع LSP، وتعليمات إعداد جيدة. إلا أنه يفتقر إلى دعم صريح لقوالب التعليمات، ولا يذكر دعم العينات أو الجذور. بشكل عام، هو قوي لاستكشاف الشيفرة وتكامل LSP، لكن قد يستفيد من ميزات MCP أكثر تقدمًا.
التقييم: 7/10
يوجد رخصة LICENSE | ✅ (MIT) |
---|---|
يحتوي على أداة واحدة على الأقل | ✅ |
عدد الـ Forks | 4 |
عدد الـ Stars | 42 |
يربط خادم LSP MCP (بروتوكول سياق النماذج) بين مساعدي الذكاء الاصطناعي وخوادم بروتوكول خادم اللغة، مما يسمح لأدوات الذكاء الاصطناعي بالتفاعل مع قواعد الشيفرة باستخدام ميزات LSP القياسية. يتيح ذلك تحليل الشيفرة، الإكمال، التشخيصات، وإجراءات الشيفرة مباشرة في المحررات وتدفقات العمل.
يتيح التنقل في الشيفرة، التشخيصات الفورية (الأخطاء/التحذيرات)، إكمال الشيفرة، توثيق التلميح الفوري، وإجراءات الشيفرة المؤتمتة، مما يجعل تدفقات عمل المطورين أكثر إنتاجية وذكاءً بالاعتماد على الذكاء الاصطناعي.
أضف مكون MCP إلى تدفق FlowHunt الخاص بك وقم بإعداده بتفاصيل خادم LSP MCP الخاص بك. سيجعل ذلك أدوات الخادم متاحة ضمن إمكانيات وكيل الذكاء الاصطناعي لديك.
نعم، هو مرخص بموجب MIT ومتاح للدمج في مشاريعك.
نعم، يمكنك إعداد القيم الحساسة مثل مفاتيح API باستخدام متغيرات البيئة في إعدادات خادم MCP.
قم بدمج خادم LSP MCP في FlowHunt لتمكين استكشاف الشيفرة بالذكاء الاصطناعي، واكتشاف الأخطاء، والإكمالات الذكية مباشرةً في تدفقات عملك.
يعمل خادم Lean LSP MCP كجسر بين المساعدات الذكية ومشاريع Lean Theorem Prover عبر بروتوكول خادم اللغة، مما يمكّن الوكلاء من الوصول إلى التشخيصات، حالات الأهداف، ...
يعمل خادم LLM Context MCP على ربط مساعدي الذكاء الاصطناعي بمشاريع الشيفرة والنصوص الخارجية، مما يمكّن من تدفقات عمل مدركة للسياق مثل مراجعة الشيفرة، توليد الوثا...
يعمل خادم أوبس ليفل MCP كحلقة وصل بين المساعدين الذكيين وفهرس خدمات أوبس ليفل وبيانات الهندسة، مما يتيح الوصول الفوري إلى بيانات الخدمات، وأتمتة الامتثال، وتعزي...