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…☆192Mar 31, 2025Updated last year
- mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.☆1,586Mar 1, 2026Updated 6 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…☆36Feb 6, 2026Updated 6 months ago
- Claude Code LSP: enhance your Claude Code experience with non-IDE dependent LSP integration.☆673Feb 22, 2026Updated 6 months ago
- ☆15Aug 13, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- An AI-powered coding assistant plugin for the Eclipse IDE.☆14Oct 28, 2025Updated 10 months ago
- A secure registry protocol for Wasm packages☆22Jun 24, 2024Updated 2 years ago
- ☆25Apr 16, 2025Updated last year
- Galois Format Analysis Workbench☆24Nov 30, 2023Updated 2 years ago
- The official grammar for GritQL, implemented as a tree sitter parser☆24Jun 4, 2026Updated 2 months ago
- String representations of Python type annotations☆15Jul 30, 2026Updated last month
- ☆15Mar 22, 2026Updated 5 months ago
- A collection of Basalt (Bash) packages.☆15Feb 6, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An RAG for code development, implemented as MCP server with cocoindex☆42Apr 14, 2026Updated 4 months ago
- AI Website builder and publisher MCP. Quickly publish and deploy your AI generated code as real website URL. Support html, css, js, pytho…☆17May 5, 2025Updated last year
- Allow Claude code to use local llm for smaller tasks to save token or for specialized task☆19Jun 19, 2025Updated last year
- Eclipse plugin for coding agents and other improvements☆17Jul 21, 2026Updated last month
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Test interactive Haskell examples☆34Apr 24, 2026Updated 4 months ago
- Agentic coding harness with persistent memory and a REPL body. Built on Ori Mnemos. Open source must win.☆18May 8, 2026Updated 3 months ago
- PoC scripts and tools for working with (primarily JavaScript) ASTs.☆15Apr 17, 2025Updated last year
- A verified compiler for a lazy functional language☆44Jun 30, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Your shipyard for parallel development workflows. Maintain your digital yard with clean branches, productive workflows, and AI-era readin…☆19Jul 23, 2026Updated last month
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- An extension to MCP (Model-Context-Protocol) that enables two-way asynchronous communication between LLMs and tools through the already e…☆34Apr 4, 2025Updated last year
- A runtime-free MCP server that converts source code into AST🌲, regardless of language.☆86Mar 14, 2026Updated 5 months ago
- ☆14Updated this week
- ☆15May 10, 2026Updated 3 months ago
- Asimov helps you build high performance LLM apps, written in Rust 🦀☆11Jun 28, 2024Updated 2 years ago
- Weave is a fork of the Codex CLI with built-in agent-to-agent coordination☆47Feb 16, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ahead of time compiler for Lua 5.3☆23Feb 28, 2023Updated 3 years ago
- Reduce noise in decision making☆23Aug 26, 2026Updated last week
- MCP server for SecretiveShell/Awesome-llms-txt. Add documentation directly into your conversation via MCP resources.☆25Mar 9, 2025Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 4 years ago
- replace deprecated scala.Symbol literals. s/'foo/Symbol("foo")/☆12Feb 16, 2022Updated 4 years ago
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated 3 weeks ago