Search Results for "lsp"

...It provides developers with an intuitive, session-based experience where multiple contexts can be managed across projects. With flexible model switching, Crush allows you to change providers mid-session while retaining conversation history. It enhances productivity by combining LSP (Language Server Protocol) support with extensible MCP (Model Context Protocol) integrations for richer coding context and external tool connectivity. Built for portability, it offers first-class support across macOS, Linux, Windows (PowerShell and WSL), and BSD systems. Backed by the Charm ecosystem, Crush is a stable, actively maintained evolution of the original OpenCode project.

Kimchi is a terminal coding agent powered by multi-model orchestration. It is designed to help developers run AI-assisted coding sessions from the command line while coordinating specialized agents, tools, permissions, and project context. The repository includes systems for subagents, task classification, model delegation, MCP integration, web search, web fetching, Language Server Protocol support, authentication, and interactive terminal workflows. It also supports ACP-style JSON-RPC...

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...