"CodeQL for Code Auditing" matching MCP servers:

Provides CodeQL language intelligence to AI agents via MCP, enabling completions, hover, definitions, references, diagnostics, formatting, and in-memory file updates for QL code.

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

MCP server that gives AI agents isolated, named Linux computers with stable IDs and lifecycle control. Supports multiple backends like Docker, Fly Machines, Modal, and E2B, with a dashboard for managing sandboxes.

Your coding agent remembers how it solved past tasks and reuses it next time: trigger, steps, outcome, lessons. Hooks recall the right skill before a task; skills strengthen with confirmed use and unused ones decay. Local SQLite, no API key, nothing leaves your machine. 9 MCP tools, works with Claude Code, Codex and Cursor. Agent-written memory stays untrusted until you approve it.

Helps AI assistants optimize Linux workloads on Arm64 by parsing perf report output, recommending NEON SIMD intrinsics for hot loops, and auditing Python dependency manifests for arm64 wheel availability — all offline and structured.

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.

Deterministic SNAP eligibility logic, exposed as auditable Model Context Protocol tools. An AI agent can read, reason, and orchestrate, but the eligibility determination itself is made by versioned, tested, cited code that a caseworker, an auditor, or a court can inspect.

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

Enables multi-agent council workflows for coding assistants, providing parallel independent reviews, plans, brainstorms, validation, and research with strict read-only boundaries.

Enables a model to write short Python programs that call a wrapped MCP server's tools as async functions, rather than invoking them one at a time. The program runs in a locked-down Docker sandbox, and every tool call passes through a host-side bridge that enforces an allowlist, schema-validated arguments, call budgets, timeouts and output caps.

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.

Enables semantic search over codebases using natural language queries, returning relevant code snippets with source locations. Integrates with Claude Code for automatic codebase exploration.

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.

Use Codex as a subagent inside Claude Code: async dispatch into a long-lived codex app-server, results pushed back into the Claude session automatically, steer/interrupt mid-task, and Codex's built-in code review.

Universal Python code execution MCP server that lets LLMs write and run Python for any task, with auto-install packages, streaming output, and automatic file display.

An MCP server that lets Claude Code delegate coding tasks such as code generation, review, refactoring, and test writing to a local Ollama instance running a Qwen3 model.

MCP server that guides LLM security reviews step-by-step, tracking progress and ensuring all assigned source code is read before completing each plan step.

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.

Enables AI agents to run untrusted, model-generated Python code in a locked-down throwaway Docker container with enforced isolation and resource limits. Supports starting, checking, and stopping asynchronous runs while returning structured status reports without exposing the host, network, or Docker controls.

AI-powered security code review for Claude Code that runs multiple scanners (CodeQL, Semgrep, etc.) to detect vulnerabilities, secrets, and dependency CVEs, producing prioritized reports.

An MCP server for intelligently reading Java source code, supporting extraction from Maven dependencies and local projects with dual decompilers.

MCP server for comprehensive code analysis, navigation, and quality assessment across 25+ programming languages.

Provides a secure interface to run Anthropic's Claude Code CLI as an MCP server, enabling task execution, persistent memory, and integration with MCP-enabled IDEs.

An MCP server that implements Claude Code-like functionality, allowing the AI to analyze codebases, modify files, execute commands, and manage projects through direct file system interactions.

MCP server for GitHub code retrieval and reuse, using SQLite+FTS5 indexing and search history to enable search-first, requirements-refined code search from GitHub repositories.

Enables agents to run semantic search across one or more local project directories by automatically maintaining a LAN-local Qdrant index with Ollama embeddings. Indexing, staleness checks, and incremental updates happen transparently, so users can query code by meaning without managing collections, chunks, or hashes.

Checks a code repository without running it: Safe, Works and Complete scores with an A-F grade, catching leaked keys, dangerous calls, invented or lookalike packages, broken imports and missing project files. Standard-library Python; MCP tools scan, orphans and explain.

MCP server for reading Claude Code session history from the local filesystem, exposing project and session data to MCP-compatible clients.

AI-powered continuous code assistant for Cursor, VS Code, Antigravity, and Claude Code via MCP, providing tools for code review, testing, documentation, and quality analysis.

MCP server for E2B code sandbox, enabling creation, management, and execution of code in secure sandboxes using Python and shell commands.