
Lean LSP MCP Server
Lean LSP MCP server prepája AI asistentov s projektmi Lean Theorem Prover cez Language Server Protocol, čím umožňuje agentom prístup k diagnostike, stavom cieľo...
Odomknite pokročilú inteligenciu kódu vo FlowHunt s LSP MCP Serverom—umožňuje AI navigáciu v kóde, diagnostiku, dopĺňania a integrované vývojárske workflowy.
LSP MCP (Model Context Protocol) Server pôsobí ako most medzi Language Server Protocol (LSP) servermi a AI asistentmi. Pripojením k LSP serveru umožňuje LLM a ďalším AI klientom interagovať s kódom prostredníctvom štandardizovaných LSP funkcií. To umožňuje AI nástrojom vykonávať pokročilú analýzu kódu, získať hover dokumentáciu, prijímať návrhy na dopĺňanie kódu, pristupovať k diagnostike a dokonca aplikovať akcie s kódom priamo v editore alebo vývojovom workflowe. LSP MCP Server zvyšuje produktivitu vývojára tým, že uľahčuje plynulú AI-riadenú interakciu so zdrojovým kódom, čím robí úlohy ako navigácia v kóde, riešenie chýb a inteligentné dopĺňanie kódu dostupnejšie a automatizovanejšie.
V repozitári alebo dokumentácii nie sú uvedené žiadne explicitné šablóny promptov.
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
pre logy.{
"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>"
]
}
}
}
Zabezpečenie API kľúčov
Ak LSP server alebo MCP nastavenie vyžaduje API kľúče, použite environmentálne premenné kvôli bezpečnosti:
{
"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}"
}
}
}
}
Použitie MCP vo FlowHunt
Pre integráciu MCP serverov do vášho FlowHunt workflowu začnite pridaním MCP komponentu do flowu a jeho prepojením s AI agentom:
Kliknite na MCP komponent, aby sa otvoril konfiguračný panel. V sekcii systémovej konfigurácie MCP vložte údaje vášho MCP servera v tomto JSON formáte:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
Po nakonfigurovaní môže AI agent používať tento MCP ako nástroj s prístupom ku všetkým jeho funkciám a možnostiam. Nezabudnite zmeniť “lsp-mcp” na skutočný názov vášho MCP servera a URL na vašu vlastnú adresu MCP servera.
Sekcia | Dostupnosť | Detaily/Poznámky |
---|---|---|
Prehľad | ✅ | Prehľad je prítomný v README.md |
Zoznam promptov | ⛔ | Nie sú uvedené žiadne šablóny promptov |
Zoznam zdrojov | ✅ | Diagnostika, hover, dopĺňania zdokumentované |
Zoznam nástrojov | ✅ | 8 nástrojov: get_info_on_location, get_completions, atď. |
Zabezpečenie API kľúčov | ✅ | Príklad s environmentálnymi premennými je prítomný |
Podpora sampling (menej dôležitá na hodnotenie) | ⛔ | Nie je spomenutá podpora samplingu |
LSP MCP Server poskytuje komplexnú dokumentáciu, škálu nástrojov a zdrojov pre LSP interakciu a dobré inštrukcie na nastavenie. Chýba mu však explicitná podpora šablón promptov a nie je spomenutá podpora sampling alebo roots. Celkovo je skvelý pre prácu s kódbázou a LSP integráciu, no mohol by profitovať z pokročilejších MCP funkcií.
Hodnotenie: 7/10
Má LICENSE | ✅ (MIT) |
---|---|
Má aspoň jeden nástroj | ✅ |
Počet fork-ov | 4 |
Počet hviezdičiek | 42 |
LSP MCP (Model Context Protocol) Server prepája AI asistentov a servery Language Server Protocol, čo umožňuje AI nástrojom pracovať s kódom cez štandardizované LSP funkcie. To umožňuje analýzu kódu, dopĺňanie, diagnostiku a akcie s kódom priamo v editoroch a workflowoch.
Umožňuje navigáciu v kóde, diagnostiku v reálnom čase (chyby/varovania), dopĺňanie kódu, hover dokumentáciu a automatizované akcie s kódom, čím robí workflowy vývojárov produktívnejšími a riadenými AI.
Pridajte MCP komponent do svojho FlowHunt flowu a nakonfigurujte ho s detailmi vášho LSP MCP servera. Serverove nástroje budú dostupné ako súčasť schopností vášho AI agenta.
Áno, je licencovaný pod MIT a dostupný na integráciu do vašich projektov.
Áno, citlivé hodnoty ako API kľúče môžete nakonfigurovať pomocou environmentálnych premenných v konfigurácii MCP servera.
Integrujte LSP MCP Server do FlowHunt, aby ste umožnili AI-riadené skúmanie kódu, detekciu chýb a inteligentné dopĺňanie priamo vo vašich workflowoch.
Lean LSP MCP server prepája AI asistentov s projektmi Lean Theorem Prover cez Language Server Protocol, čím umožňuje agentom prístup k diagnostike, stavom cieľo...
LlamaCloud MCP Server spája AI asistentov s viacerými spravovanými indexmi na LlamaCloud a umožňuje podnikového rozsahu vyhľadávanie dokumentov, prehľadávanie a...
Serper MCP Server prepája AI asistentov s vyhľadávaním Google cez Serper API, čím umožňuje vyhľadávanie webu, obrázkov, videí, správ, máp, recenzií, nákupov a a...