"How to take a screenshot on a PC" matching MCP servers:

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.

Provides a read-only interface to audit and continue coding agent sessions by extracting plans, intents, and edit authorship from history across multiple agents (Claude, Codex, OpenCode, Antigravity, Pi) via MCP, CLI, and Python SDK.

locidx

Enables AI coding agents to intelligently index and search codebases with sub-20ms retrieval, 8x memory compression, and cross-encoder reranking via MCP stdio.

Codebase Q&A agent with git-history awareness. Explore a repo with list_files, read_file, and search, plus git log, blame, and diff and a repo map to answer "why did this change?" questions. Runs locally as an MCP server for Claude Code and other MCP clients.

Official MCP Server for GPT-5.6 Sol Coding & Reasoning API. Connects extended reasoning capabilities directly into Claude Desktop, Cursor, and Windsurf.

Exposes read-only tools for OPC UA PLC tag monitoring and diagnostics, and enables template-driven, validated IEC 61131-3 SCL code generation with a mandatory human review gate before download.

Provides AI-powered development tools including code generation, refactoring, debugging, performance optimization, and test generation, along with smart prompts for code analysis and documentation, and a built-in knowledge base of coding best practices.

A local read-only AI workbench for navigating, auditing, and analyzing 1C:Enterprise 8.3 configurations via MCP-compatible clients.

Enables evidence-first binary and firmware analysis through MCP, exposing tools to initialize projects, analyze artifacts, query structured claims, export results, and run evaluations.

coldstart gives coding agents durable memory of a specific codebase, with no embeddings, no vector store, and no API key. Agents write notes after real tasks — what a file is for, how a flow spans files, which invariants hold — and those notes are surfaced automatically to a later session whose task matches, so nothing gets rediscovered from scratch. Every note is anchored to real files by content

Compiler introspection for the Hirð language (typed actors and effect rows on the BEAM): type inference, definition lookup, effect-row explanation, IR fragments, actor protocol and supervision graphs, and token-budget-aware symbol summaries.

Official Codna MCP server with Mojo-powered risk simulation. Maps repos with zero LLM tokens. 5 stdio tools: triage, root-cause analysis and fix plans (optional PRs), SARIF reachability proof, on-device code memory and bug reporting. Introspection needs no credentials; execution requires a one-time free codna login. Source: cli/codna/mcp_server.py. Registry: io.github.thyn-ai/codna.

Enables AI agents to search Minecraft obfuscated name mappings (class, method, field) across 38 versions, aiding modding, plugin development, and reflection.

Provides static analysis of ROS 2 workspaces, enabling inspection of packages, dependencies, interfaces, launch files, and robot descriptions without running ROS 2.

PCI DSS v4.0.1 compliance scanner for Go payment services, delivered as an MCP server. Every finding maps to a specific PCI DSS requirement ID. Taint-aware cardholder data flow analysis with PCI SSC FAQ semantics, designed to complement broad SAST tools like Semgrep and CodeQL - not replace them.

Local stdio MCP server (npx -y caveat-lang mcp) with five tools that validate, check, test and explain programs in Caveat, a rules language whose decisions keep their evidence, grounds and caveats. It also finds what depends on a piece of evidence, so a withdrawn input still leaves a past decision's original basis on record.

RCP-1 is an enterprise-ready MCP server that connects AI assistants to SAP ABAP systems via the ADT REST API, with built-in security, access controls, and deployment options for BTP or on-premise.

Call graph MCP server for Rust, Python, TypeScript, TSX, and JavaScript. Every caller and callee carries a resolution field showing how the reference was matched to a definition, plus multi-hop impact analysis for refactoring. Local-only, single binary, no network egress. Benchmarked against grep, ripgrep, and ctags on a 120-item hand-verified golden set, including the cases where it loses.

A local MCP server that indexes a repository into line-range chunks and serves compact evidence packets to cut token usage when exploring or debugging code.