
Lean LSP MCP Server
O servidor Lean LSP MCP faz a ponte entre assistentes de IA e projetos Lean Theorem Prover usando o Language Server Protocol, permitindo que agentes acessem dia...
Desbloqueie inteligência avançada de código no FlowHunt com o Servidor LSP MCP—habilitando navegação de código com IA, diagnósticos, autocompletar e fluxos de trabalho integrados para desenvolvedores.
O Servidor LSP MCP (Model Context Protocol) atua como uma ponte entre servidores Language Server Protocol (LSP) e assistentes de IA. Ao conectar-se a um servidor LSP, permite que LLMs e outros clientes de IA interajam com bases de código por meio de recursos LSP padronizados. Isso possibilita que ferramentas de IA realizem análise avançada de código, obtenham documentação via hover, recebam sugestões de autocompletar, acessem diagnósticos e até mesmo apliquem ações de código diretamente no editor ou fluxo de desenvolvimento. O Servidor LSP MCP aumenta a produtividade do desenvolvedor ao facilitar interações contínuas orientadas por IA com o código-fonte, tornando tarefas como navegação, resolução de erros e autocompletar inteligente mais acessíveis e automatizadas.
Não há templates de prompt explícitos listados no repositório ou documentação.
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
para logs.{
"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>"
]
}
}
}
Protegendo Chaves de API
Se o servidor LSP ou a configuração do MCP exigir chaves de API, utilize variáveis de ambiente para segurança:
{
"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}"
}
}
}
}
Usando MCP no FlowHunt
Para integrar servidores MCP ao seu fluxo do FlowHunt, comece adicionando o componente MCP ao seu flow e conectando-o ao seu agente de IA:
Clique no componente MCP para abrir o painel de configuração. Na seção de configuração MCP do sistema, insira os detalhes do seu servidor MCP neste formato JSON:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
Uma vez configurado, o agente de IA poderá usar este MCP como uma ferramenta com acesso a todas as suas funções e capacidades. Lembre-se de alterar “lsp-mcp” para o nome real do seu servidor MCP e substituir a URL pela do seu MCP.
Seção | Disponibilidade | Detalhes/Notas |
---|---|---|
Visão Geral | ✅ | Visão geral presente no README.md |
Lista de Prompts | ⛔ | Nenhum template de prompt mencionado |
Lista de Recursos | ✅ | Recursos de diagnósticos, hover, autocompletar documentados |
Lista de Ferramentas | ✅ | 8 ferramentas: get_info_on_location, get_completions, etc. |
Proteção de Chaves de API | ✅ | Exemplo para variáveis de ambiente presente |
Suporte a Sampling (menos importante na avaliação) | ⛔ | Nenhuma menção a suporte a sampling |
O Servidor LSP MCP oferece documentação abrangente, uma variedade de ferramentas e recursos para interação com LSP, e boas instruções de configuração. No entanto, carece de suporte explícito a templates de prompt e não menciona sampling ou suporte a roots. No geral, é sólido para integração de bases de código e LSP, mas pode se beneficiar de recursos MCP mais avançados.
Nota: 7/10
Possui LICENSE | ✅ (MIT) |
---|---|
Possui ao menos uma ferramenta | ✅ |
Número de Forks | 4 |
Número de Stars | 42 |
O Servidor LSP MCP (Model Context Protocol) faz a ponte entre assistentes de IA e servidores Language Server Protocol, permitindo que ferramentas de IA interajam com bases de código usando recursos LSP padronizados. Isso permite análise de código, autocompletar, diagnósticos e ações de código diretamente em editores e fluxos de trabalho.
Habilita navegação de código, diagnósticos em tempo real (erros/avisos), autocompletar de código, documentação via hover e ações de código automatizadas, tornando os fluxos de trabalho mais produtivos e impulsionados por IA.
Adicione o componente MCP ao seu flow do FlowHunt e configure com os detalhes do seu servidor LSP MCP. Isso torna as ferramentas do servidor disponíveis como parte das capacidades do seu agente de IA.
Sim, é licenciado sob MIT e disponível para integração em seus projetos.
Sim, você pode configurar valores sensíveis como chaves de API usando variáveis de ambiente na configuração do servidor MCP.
Integre o Servidor LSP MCP ao FlowHunt para ativar exploração de código orientada por IA, detecção de erros e autocompletar inteligente diretamente nos seus fluxos de trabalho.
O servidor Lean LSP MCP faz a ponte entre assistentes de IA e projetos Lean Theorem Prover usando o Language Server Protocol, permitindo que agentes acessem dia...
O Servidor ModelContextProtocol (MCP) atua como uma ponte entre agentes de IA e fontes de dados externas, APIs e serviços, permitindo que usuários FlowHunt crie...
O Lspace MCP Server é um backend open-source e aplicativo independente que implementa o Model Context Protocol (MCP). Ele possibilita conhecimento persistente e...