Search Results for "lsp"

...It indexes codebases into a persistent knowledge graph so agents can understand architecture, symbols, call chains, routes, and cross-service relationships without reading every file repeatedly. The project uses tree-sitter AST analysis across 158 languages and adds Hybrid LSP type resolution for major languages like Python, TypeScript, JavaScript, Go, C#, Java, Rust, C, and C++. It is built for speed, with average repositories indexed in milliseconds and structural queries answered in under one millisecond. It ships as a single static binary for macOS, Linux, and Windows with no shared library dependencies. ...

...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.

Currently supports Anthropic, Copilot, Gemini, Ollama and OpenAI adapters.

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...