
Lean LSP MCP Server
Lean LSP MCP server propojuje AI asistenty a projekty Lean Theorem Prover pomocí Language Server Protocolu, což umožňuje agentům přístup k diagnostice, stavům c...

Odemkněte pokročilou inteligenci pro kód ve FlowHunt s LSP MCP Serverem—umožňuje AI poháněnou navigaci v kódu, diagnostiku, doplňování a integrované vývojářské workflowy.
FlowHunt poskytuje dodatečnou bezpečnostní vrstvu mezi vašimi interními systémy a AI nástroji, čímž vám dává podrobnou kontrolu nad tím, které nástroje jsou přístupné z vašich MCP serverů. MCP servery hostované v naší infrastruktuře lze bezproblémově integrovat s chatbotem FlowHunt i s populárními AI platformami jako jsou ChatGPT, Claude a různé AI editory.
LSP MCP (Model Context Protocol) Server slouží jako most mezi servery Language Server Protocol (LSP) a AI asistenty. Připojením k LSP serveru umožňuje LLM a dalším AI klientům pracovat se zdrojovým kódem prostřednictvím standardizovaných LSP funkcí. Díky tomu mohou AI nástroje provádět pokročilou analýzu kódu, získávat hover dokumentaci, dostávat návrhy na doplnění kódu, přistupovat k diagnostice a dokonce aplikovat úpravy kódu přímo v editoru nebo vývojovém workflow. LSP MCP Server zvyšuje produktivitu vývojářů tím, že umožňuje plynulé AI řízené interakce se zdrojovým kódem a automatizuje úkoly jako navigace v kódu, řešení chyb nebo inteligentní doplňování kódu.
Žádné explicitní šablony promptů nejsou v repozitáři nebo dokumentaci uvedeny.
lsp-diagnostics://lsp-hover://lsp-completions://get_info_on_locationget_completionsget_code_actionsopen_documentclose_documentget_diagnosticsstart_lsprestart_lsp_serverset_log_levelmcpServers:{
"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 pro 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čení API klíčů
Pokud LSP server nebo MCP konfigurace vyžaduje API klíče, pro bezpečnost použijte environmentální proměnné:
{
"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žití MCP ve FlowHunt
Pro integraci MCP serverů do vašeho workflowu ve FlowHunt začněte přidáním komponenty MCP do svého flow a propojte ji se svým AI agentem:

Klikněte na komponentu MCP pro otevření konfiguračního panelu. Do sekce systémové MCP konfigurace vložte detaily vašeho MCP serveru v tomto JSON formátu:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
Po konfiguraci může AI agent využívat MCP server jako nástroj se všemi jeho funkcemi a možnostmi. Nezapomeňte změnit “lsp-mcp” na skutečný název vašeho MCP serveru a upravit URL na vlastní adresu MCP serveru.
| Sekce | Dostupnost | Detaily/Poznámky |
|---|---|---|
| Přehled | ✅ | Přehled uveden v README.md |
| Seznam promptů | ⛔ | Nejsou zmíněny žádné šablony promptů |
| Seznam zdrojů | ✅ | Diagnostika, hover, completions popsány |
| Seznam nástrojů | ✅ | 8 nástrojů: get_info_on_location, get_completions, atd. |
| Zabezpečení API klíčů | ✅ | Uveden příklad s environmentálními proměnnými |
| Podpora sampování (méně důležité pro hodnocení) | ⛔ | Není zmíněna podpora sampování |
LSP MCP Server nabízí komplexní dokumentaci, množství nástrojů a zdrojů pro práci s LSP a dobré instrukce k nastavení. Chybí mu však explicitní podpora prompt šablon a nezmiňuje se o podpoře sampling či roots. Celkově jde o solidní řešení pro integraci do kódových workflowů a LSP, ale mohl by těžit z pokročilejších MCP funkcí.
Hodnocení: 7/10
| Má LICENSE | ✅ (MIT) |
|---|---|
| Má alespoň jeden nástroj | ✅ |
| Počet forků | 4 |
| Počet hvězdiček | 42 |
Integrujte LSP MCP Server do FlowHunt a umožněte AI řízené prozkoumávání kódu, detekci chyb a chytré doplňování přímo ve vašich workflowech.

Lean LSP MCP server propojuje AI asistenty a projekty Lean Theorem Prover pomocí Language Server Protocolu, což umožňuje agentům přístup k diagnostice, stavům c...

Qiniu MCP Server propojuje AI asistenty a LLM klienty s úložištěm a multimediálními službami Qiniu Cloud. Umožňuje automatizovanou správu souborů, mediální zpra...

Coda MCP Server poskytuje standardizovaný způsob, jak mohou AI asistenti pracovat s platformou Coda – umožňuje dotazy na dokumenty, automatizaci workflow a komp...
Souhlas s cookies
Používáme cookies ke zlepšení vašeho prohlížení a analýze naší návštěvnosti. See our privacy policy.