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

Bridges Claude Code CLI with Cursor IDE to use your existing Claude subscription without separate API costs.

Enables Claude Code to search, browse, and read its own past conversation history across all projects using BM25 keyword search.

Composes arbitrary MCP tools using JavaScript, enabling discovery, composition, and execution of other MCP servers through a single 'exec' tool.

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.

A code-mode MCP server for the Unraid 7.2+ GraphQL API that exposes search and execute tools, allowing LLM agents to introspect and call any GraphQL field via sandboxed JavaScript.

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.

Enables agents to interact with the Logflare API by writing JavaScript functions that run in a Vercel Sandbox, using three tools: search, execute_read, and execute_write.

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

An Operit-compatible adapter of the Exa MCP server, enabling web search, code search, and company research capabilities in AI assistants. It fixes MCP handshake compatibility issues, allowing tools like web_search_exa and web_fetch_exa to load and run reliably.

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

A server that allows LLMs to run Claude Code with all permissions bypassed automatically, enabling code execution and file editing without permission interruptions.

MCP server that provides read-only analysis of Claude Code session transcripts, enabling queries about project activity, session details, and tool usage.

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

Enables Codex to delegate long-running work to Claude Code via blocking MCP calls, with tools for model discovery, run, and resume without polling.

MCP server for auditing infrastructure-as-code attack paths, finding multi-hop chains from public internet to sensitive resources.

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.