An MCP server that lets you interact with LSP servers
☆123Jul 21, 2025Updated last year
Alternatives and similar repositories for lsp-mcp
Users that are interested in lsp-mcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. Thi…☆190Mar 31, 2025Updated last year
- mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.☆1,570Mar 1, 2026Updated 4 months ago
- By transforming source code into a queryable Semantic Graph and a structured AST, this tool bridges the gap between "reading text" and "u…☆34Feb 6, 2026Updated 5 months ago
- A helpful AI assistant for Mercury engineers☆20Jan 9, 2026Updated 6 months ago
- Functional, stream-based CSV processor for Scala☆38Apr 22, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code Scalpel is the bridge between **Generative AI** and **Reliable Software Engineering**. It is an **MCP (Model Context Protocol) serve…☆15Jun 23, 2026Updated last month
- ☆15May 13, 2026Updated 2 months ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- An AI-powered coding assistant plugin for the Eclipse IDE.☆14Oct 28, 2025Updated 8 months ago
- A secure registry protocol for Wasm packages☆22Jun 24, 2024Updated 2 years ago
- Galois Format Analysis Workbench☆23Nov 30, 2023Updated 2 years ago
- LLM-powered typed-holes☆57May 2, 2025Updated last year
- The official grammar for GritQL, implemented as a tree sitter parser☆23Jun 4, 2026Updated last month
- A Frinkiac-inspired Avatar snapshot, GIF, and meme server (generalizable to other media).☆11Jul 23, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Model Context Protocol (MCP) server that enables secure terminal command execution, directory navigation, and file system operations th…☆99Jun 14, 2025Updated last year
- Allow Claude code to use local llm for smaller tasks to save token or for specialized task☆16Jun 19, 2025Updated last year
- ☆25Apr 25, 2025Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- Analyze user input to identify suitable design patterns and project templates. Orchestrate the project, creating initial files from templ…☆17Jun 30, 2026Updated 3 weeks ago
- An RAG for code development, implemented as MCP server with cocoindex☆41Apr 14, 2026Updated 3 months ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated 7 months ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- A minimal Nix library for package-lock.json☆11Apr 30, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Eclipse plugin for coding agents and other improvements☆17Updated this week
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Find Code Reference Flags in Pull Requests☆11Updated this week
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated 6 months ago
- auto detect required firmware packages on Arch Linux☆12Jun 25, 2025Updated last year
- Annotation to easily define ad-hoc / one-shot extension traits☆16Mar 30, 2026Updated 3 months ago
- PoC scripts and tools for working with (primarily JavaScript) ASTs.☆15Apr 17, 2025Updated last year
- The premier AI-assisted legacy code strategy guide☆11May 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Your shipyard for parallel development workflows. Maintain your digital yard with clean branches, productive workflows, and AI-era readin…☆17Aug 12, 2025Updated 11 months ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- Purescript ffi for the lazy joe 🦥☆15Jun 19, 2022Updated 4 years ago
- ☆31Jan 7, 2026Updated 6 months ago
- Handle pattern with servant to build flexible web-apps in Haskell☆16Nov 22, 2022Updated 3 years ago
- A runtime-free MCP server that converts source code into AST🌲, regardless of language.☆88Mar 14, 2026Updated 4 months ago
- A MCP server providing realistic browser-like HTTP request capabilities with accurate TLS/JA3/JA4 fingerprints for bypassing anti-bot mea…☆48Mar 22, 2025Updated last year