"How to check differences between files" matching MCP servers:

Enables production-grade answer verification for LLM agents by independently re-checking answers with a configurable verifier model, enforcing confidence policies, and producing Ed25519-signed, auditable verification results with optional web search and knowledge-base evidence.

MCP server for verifying Russian counterparties (legal entities and individual entrepreneurs) via public Federal Tax Service data: EGRUL/EGRIP, bankruptcy registry (EFRSB), Transparent Business, bailiff service (FSSP), and arbitration courts (KAD).

Enables AI coding agents to retrieve the latest stable versions of packages and tools across multiple ecosystems, preventing outdated dependency versions in generated code.

Enables agents to quickly find and edit code in a codebase with surgical precision. Find symbols, edit them everywhere with tools for reading code blocks, searching/replacing text, and making precise line-based modifications.

Enables searching and retrieving documentation from crawled documentation sites as an MCP server, allowing coding agents to query real docs instead of relying on training data.

A lightweight MCP bridge that lets Claude Code delegate heavy tasks to the Antigravity CLI - saving context window and tokens for what matters.

Enables AI models to perform file operations, user management, automations, and more within Files.com's secure file transfer platform via the Model Context Protocol.

Fetches a URL and returns the main content as clean Markdown, using plain HTTP when possible and headless Chromium for JavaScript-rendered or bot-protected pages.

MCP server that lets you drive Claude Code sessions hands-free by voice from any MCP client, enabling remote models to send prompts, monitor progress, and get results read back.

Converts natural language queries into valid GraphQL queries and executes them against GraphQL APIs. Includes schema introspection, query validation, execution with authentication, and query history tracking.

Enables AI agents to perform compensating-control lifecycle operations on Check Point firewalls, including adding access rules, publishing sessions, and installing policies.

Lets AI assistants control the physical Return to Dark Tower board game tower via Bluetooth, enabling connection, calibration, sound, lights, drum rotation, seal breaking, and game sequences through natural language.

Exposes the Grok Build CLI as MCP tools for Claude Code and other clients, enabling headless AI agents to perform tasks like code reviews, web research, and file operations with configurable permission levels.

Fetches Langfuse observability traces directly into a VS Code coding agent's context, enabling querying and viewing trace data through natural language.

Enables AI assistants to check how discoverable a website is to AI search engines and assistants by inspecting signals like crawler access, llms.txt, structured data, and on-page metadata, and returning a 0-100 visibility score.

Indexes codebases using semantic embeddings for natural language search, enabling developers to find code with queries like 'how does authentication work'.

A tutorial demonstrating how to build reusable, parameterized MCP prompt templates using FastMCP, including patterns for research, summarization, and code review.

Enables users to ask natural-language questions about a local folder's contents, including file names, sizes, and timestamps, with rollups by type and age and cleanup suggestions for stale or large files. It returns metadata only and cannot read, move, or delete files.

An MCP server that provides AI clients with access to developer documentation via llms.txt files. Exposes tools, resources, and prompts.

AI-powered code assistant that provides advanced search and discovery capabilities across GitHub and NPM ecosystems, helping users understand code patterns, implementations, and connections between repositories.