
Lean LSP MCP 서버
Lean LSP MCP 서버는 AI 어시스턴트와 Lean Theorem Prover 프로젝트를 Language Server Protocol을 통해 연결하여, 진단, 목표 상태, 코드 자동완성, 정리 검색 등 고급 Lean 워크플로우 자동화를 위한 다양한 기능에 접근할 수 있게 합니다....
LSP MCP 서버로 FlowHunt에서 고급 코드 인텔리전스를 활성화하세요—AI 기반 코드 탐색, 진단, 자동완성 및 통합 개발자 워크플로우를 제공합니다.
LSP MCP(Model Context Protocol) 서버는 Language Server Protocol(LSP) 서버와 AI 어시스턴트 간의 다리 역할을 합니다. LSP 서버에 연결함으로써 LLM 및 기타 AI 클라이언트가 표준화된 LSP 기능을 통해 코드베이스와 상호작용할 수 있도록 해줍니다. 이를 통해 AI 도구가 고급 코드 분석을 수행하고, hover 문서 정보를 가져오며, 코드 자동완성 제안을 받고, 진단 정보에 접근하며, 심지어 코드 액션을 에디터나 개발 워크플로우 내부에서 직접 적용할 수 있습니다. LSP MCP 서버는 소스 코드와의 AI 기반 상호작용을 원활하게 만들어, 코드 탐색, 오류 해결, 지능형 코드 자동완성과 같은 작업을 더욱 쉽고 자동화할 수 있도록 하여 개발자 생산성을 크게 향상시킵니다.
저장소나 문서에 명시적인 프롬프트 템플릿은 없습니다.
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
섹션에 LSP MCP 서버를 추가하세요:{
"mcpServers": {
"lsp-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"tritlo/lsp-mcp",
"<language-id>",
"<path-to-lsp>",
"<lsp-args>"
]
}
}
}
mcpServers
섹션에 LSP MCP 서버를 추가하세요:{
"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}"
}
}
}
}
FlowHunt에서 MCP 서버를 워크플로우에 통합하려면, MCP 컴포넌트를 플로우에 추가하고 이를 AI 에이전트에 연결하세요:
MCP 컴포넌트를 클릭하여 설정 패널을 여세요. 시스템 MCP 설정 섹션에 아래와 같이 MCP 서버 정보를 JSON 형식으로 입력하세요:
{
"lsp-mcp": {
"transport": "streamable_http",
"url": "https://yourmcpserver.example/pathtothemcp/url"
}
}
설정을 완료하면 AI 에이전트가 MCP의 모든 기능과 도구를 사용할 수 있습니다. “lsp-mcp"를 실제 MCP 서버의 이름으로, URL도 본인의 MCP 서버 URL로 바꿔주세요.
섹션 | 지원 여부 | 세부사항/비고 |
---|---|---|
개요(Overview) | ✅ | README.md에 개요 포함 |
프롬프트 목록 | ⛔ | 프롬프트 템플릿 언급 없음 |
리소스 목록 | ✅ | 진단, hover, 자동완성 리소스 문서화 |
도구 목록 | ✅ | 8개 도구: get_info_on_location, get_completions 등 |
API 키 보안 | ✅ | 환경 변수 예시 제공 |
샘플링 지원(평가에 덜 중요) | ⛔ | 샘플링 지원에 대한 언급 없음 |
LSP MCP 서버는 LSP 상호작용을 위한 다양한 도구와 리소스, 충분한 문서, 설치 안내를 제공합니다. 다만 프롬프트 템플릿이나 샘플링, roots 지원에 대한 언급은 부족합니다. 코드베이스 및 LSP 통합에는 충분하지만, 더 고급 MCP 기능이 추가되면 더욱 좋을 것입니다.
평점: 7/10
LICENSE 보유 | ✅ (MIT) |
---|---|
최소 1개 이상의 도구 | ✅ |
포크(Forks) 수 | 4 |
별(Stars) 수 | 42 |
LSP MCP(Model Context Protocol) 서버는 AI 어시스턴트와 Language Server Protocol 서버를 연결하여, AI 도구가 표준화된 LSP 기능을 활용해 코드베이스와 상호작용할 수 있도록 합니다. 이를 통해 코드 분석, 자동완성, 진단, 코드 액션 등을 에디터와 워크플로우 내에서 직접 수행할 수 있습니다.
코드 네비게이션, 실시간 진단(오류/경고), 코드 자동완성, hover 문서 확인, 자동 코드 액션 등 개발자 워크플로우를 AI 중심으로 생산적으로 만듭니다.
FlowHunt 플로우에 MCP 컴포넌트를 추가하고, 본인의 LSP MCP 서버 정보를 설정해주면 AI 에이전트의 기능으로 MCP 서버의 도구들을 사용할 수 있습니다.
네, MIT 라이선스로 제공되며 프로젝트에 자유롭게 통합할 수 있습니다.
네, MCP 서버 설정에서 환경 변수를 사용하여 API 키 등 민감한 값을 안전하게 관리할 수 있습니다.
Lean LSP MCP 서버는 AI 어시스턴트와 Lean Theorem Prover 프로젝트를 Language Server Protocol을 통해 연결하여, 진단, 목표 상태, 코드 자동완성, 정리 검색 등 고급 Lean 워크플로우 자동화를 위한 다양한 기능에 접근할 수 있게 합니다....
Lspace MCP 서버는 Model Context Protocol(MCP)을 구현한 오픈 소스 백엔드 및 독립 실행형 애플리케이션입니다. 모든 AI 세션에서 인사이트를 캡처하여 도구 전반에 통합함으로써, 지속적이고 검색 가능한 지식을 가능하게 하며 개발자가 지능적이고 컨텍스트가 풍부한...
파이어프루프 MCP 서버는 AI 어시스턴트와 파이어프루프 데이터베이스를 연결하여 JSON 문서의 저장, 조회, 관리를 LLM 툴을 통해 원활하게 할 수 있도록 합니다. CRUD 작업을 간소화하고, 유연한 쿼리를 지원하며, 데이터 기반 AI 워크플로우의 프로토타입 제작을 가속화합니다....