An MCP server that lets you interact with LSP servers
☆124Jul 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…☆191Mar 31, 2025Updated last year
- mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.☆1,598Mar 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 7 months ago
- the (eventually) infinitely extensible markdown note-taking work environment that you can have in Neovim without having to ever leave the…☆19Jun 22, 2026Updated 3 months ago
- Versão Herbert Richers do https://nohello.com☆13Oct 12, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- The official grammar for GritQL, implemented as a tree sitter parser☆23Jun 4, 2026Updated 3 months ago
- ☆33May 27, 2026Updated 3 months ago
- A Model Context Protocol (MCP) server that enables secure terminal command execution, directory navigation, and file system operations th…☆97Jun 14, 2025Updated last year
- Analyze user input to identify suitable design patterns and project templates. Orchestrate the project, creating initial files from templ…☆17Jun 30, 2026Updated 2 months ago
- An RAG for code development, implemented as MCP server with cocoindex☆42Apr 14, 2026Updated 5 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated last month
- transform literate source code to Markdown☆14Dec 19, 2025Updated 9 months ago
- A static MCP server that provides AI models with persistent tool context, preventing context loss between chats.☆30Sep 2, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Apr 20, 2026Updated 5 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- XRAY MCP provides progressive code intelligence and navigation capabilities for AI assistants through structural code analysis using as…☆52Dec 11, 2025Updated 9 months ago
- Haskell bindings to OpenAI☆40Aug 25, 2026Updated 3 weeks ago
- ☆13Jan 7, 2023Updated 3 years 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
- Your shipyard for parallel development workflows. Maintain your digital yard with clean branches, productive workflows, and AI-era readin…☆19Jul 23, 2026Updated 2 months ago
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- A runtime-free MCP server that converts source code into AST🌲, regardless of language.☆87Mar 14, 2026Updated 6 months ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- Weave is a fork of the Codex CLI with built-in agent-to-agent coordination☆47Feb 16, 2026Updated 7 months ago
- Nix language interpreter.☆31Nov 3, 2024Updated last year
- 📽 A simple video player made with WebCodecs / AudioWorklet☆11Apr 7, 2022Updated 4 years ago
- MCP server for SecretiveShell/Awesome-llms-txt. Add documentation directly into your conversation via MCP resources.☆25Mar 9, 2025Updated last year
- An open-source agent toolkit that auto-syncs SDK versions, docs, and examples—built for seamless integration with LLMs, and AI agents ( M…☆47Mar 26, 2026Updated 5 months ago
- oci to ostree☆16Feb 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated last month
- Integrate LLMs into any editor that supports LSP☆20Jan 17, 2025Updated last year
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- Quick interactive time series terminal plots usable in ghci☆15Sep 10, 2019Updated 7 years ago
- lipsum-cli is a small terminal application written in Rust language. It's used for generating pseudo-Latin lorem ipsum filler text in ter…☆14Dec 18, 2023Updated 2 years ago
- Specs, tracking, and coordinated development for AI coding. Works with Cursor, Claude Code, Replit Agent, and any AI coding assistant.☆70Aug 16, 2025Updated last year
- multilspy is a lsp client library in Python intended to be used to build applications around language servers.☆611Aug 27, 2026Updated 3 weeks ago