"A server for reasoning about code using MCP" matching MCP servers:

A Model Context Protocol server that enhances Claude in Cursor AI with advanced reasoning capabilities including Monte Carlo Tree Search, Beam Search, R1 Transformer, and Hybrid Reasoning methods.

Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.

An MCP server that scans codebases to extract structural information (classes, functions, etc.) with flexible filtering options and outputs in LLM-friendly formats.

A production-grade MCP server for the Code-Fundi API, enabling AI agents to map codebases, search semantically, and analyze blast radius. It provides tools for repository management, AI-powered research, and impact analysis before shipping changes.

A validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

A local, SQLite-backed code index for Claude Code, exposed over MCP, enabling targeted code retrieval without external APIs.

A modular MCP server for code analysis using ast-grep, enabling structural pattern matching and transformations across multiple languages.

Enables AI assistants to interact with VS Code for language intelligence, debugging, and code execution.

A Model Context Protocol (MCP) server that provides a RAG (Retrieval Augmented Generation) tool with hybrid search capabilities combining vector similarity and keyword metadata search for code retrieval.

Enables querying cross-repo code dependencies, HTTP routes, database tables, and queues via an MCP server using Cypher queries.

MCP server with local vector search for your codebase. Smart indexing, semantic search, Git history — all offline.

A code review tool that generates detailed HTML review documents by comparing branches or commits, with author filtering and intelligent analysis.

A local MCP server that provides semantic code search for Python codebases using tree-sitter for chunking and LanceDB for vector storage. It enables natural language queries to find relevant code snippets based on meaning rather than just text matching.

embedded code search engine CLI -AST based that just works - improves speed and efficiency for coding agent

Enables efficient analysis of large codebases using Claude Code and Kimi K2.5 through the Model Context Protocol, with session caching and parallel processing to reduce costs and time.

Enables fast, low-token code search for AI coding agents via a local BM25 engine built on SQLite FTS5, with support for camelCase, snake_case, and Japanese text. Provides a stateless MCP stdio server and a Hermes adapter for multi-agent environments.

An MCP server that provides dynamic codebase context to Claude Code through tools like hybrid search, recent changes, and symbol definitions, enhancing AI-assisted coding with local RAG.

An MCP server that provides local code quality analysis for AI coding assistants, supporting file analysis, git diff review, and full project scanning with quality scoring.

Gemini-powered MCP server for automated code review, analysis, and documentation.

Fast pre-commit dependency gate for AI-assisted code changes. Answers "is this safe to commit?" with a PASS/WARN/BLOCK verdict in seconds, so you can catch risky blast radius before a bad commit, not after it. No database, no heavy setup.