"Understanding Perl, Language Server Protocol (LSP), and Abstract Syntax Trees (AST)" matching MCP servers:

A smart proxy server that prevents context window bloat by caching large tool responses to local files and returning compact resource links. It supports format conversion and data uploads, allowing LLMs to handle massive datasets without consuming excessive tokens.

Enables agents to connect to Language Server Protocol servers as a headless editor, exposing LSP capabilities like diagnostics, rename, and formatting through MCP tools and resources.

Lets AI assistants act as a personal language teacher by storing a learner's vocabulary, writing stories around those words, judging translations, labeling mistakes by rule, and scheduling spaced-repetition reviews with FSRS. It also serves the agreed tutoring method to any connected assistant so teaching stays consistent across Claude, ChatGPT and Codex.

Runs a language server and provides tools for communicating with it. Language servers excel at tasks that LLMs often struggle with, such as precisely understanding types, understanding relationships, and providing accurate symbol references.

Enables validating and enriching phone numbers, returning validity, international/national formats, carrier, line type, and country/location data.

MCP server that keeps language server sessions warm and routes multiple languages through one process. Agents get persistent cross-file awareness, speculative execution (simulate edits before writing to disk), and 20 skills that encode correct multi-step operations like safe rename, blast-radius analysis, and end-to-end refactoring. Single Go binary, no runtime dependencies.

MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

An MCP server that analyzes local or remote GitHub repositories, providing intelligent code context and structure to AI coding assistants.

Enables household members to use Alexa+ in their own language and script, with shared lists, reminders, devices, and messages stored as spoken and rendered for each person.

Provides AI agents with scoped access to backlog and task workflows, using PostgreSQL RLS tenant isolation and lease-based claims so they can safely read and update tasks within their own workspace.

MCP server for 1C:Enterprise that provides precise syntax reference cards (call signatures, parameters, return types, examples) by element name and lists object members. It helps AI agents answer 1C development questions using the official Russian help book.

A minimal MCP server that exposes Gemini's web and multimodal understanding (video, audio, document, image) through five dedicated tools.

An MCP server that provides AI trading agents with persistent, outcome-weighted memory to learn from historical performance and detect behavioral biases. It enables agents to automatically adjust strategies and optimize position sizing based on context-aware recall of past trade outcomes.

Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.

Security-enforcing MCP proxy that sits between an AI agent and any number of downstream MCP servers, intercepting every tool call through a capability-token policy gateway that can allow, deny, or escalate to human approval before the call reaches any real tool. It also exposes built-in operator tools for approval workflows, audit trail queries, token management, voice/HUD output, and hierarchical

Provides time intelligence, persistent memory and complete traceability for AI coding agents. Enables sophisticated activity tracking, timezone management, smart reminders, and cross-session continuity with support for both per-project and centralized storage modes.

Exposes TypeScript Language Server Protocol functionality to AI agents, enabling them to query types at specific positions, find definitions and references, get diagnostics, run type tests, and type-check inline code just like in an IDE.

Enables AI clients to create and configure monitors, subscribe to their evidence streams with durable cursors, and process observations with guaranteed at-least-once delivery.

An MCP server that uses Google's Gemini API to analyze videos and convert them to text descriptions that Claude Code can understand and act upon.

Local-first shared memory and coordination layer for AI coding agents, with repository evidence, reservations, handoffs, code graph context, and dashboard review backed by PostgreSQL/pgvector.

Enables cross-chain bridging, multi-chain token swaps, and real-time pricing across over 50 blockchain networks using the Relay Protocol REST API. It allows users to browse thousands of tokens, generate quotes, and monitor transaction status directly through natural language.

Conformance test harness for Model Context Protocol servers, validating JSON-RPC, transport, capability, schema, and more across multiple spec versions.

Enables MCP clients to connect to a privacy-first, self-hostable workout planning and training log, allowing coaching agents to preview and apply program changes while accessing training data through OAuth-protected endpoints.

Enables AI agents to search, filter, and monitor curated AI model API free credits and low-cost token promotions through eight tools, four resources, and three prompts — including finding deals expiring soon, checking eligibility and blocked conditions, and producing daily briefs.

Provides AI assistants with read-only access to inspect database schemas, preview data, and run safe queries across PostgreSQL, MySQL, MongoDB, and SQL Server. It enables AI tools to understand database structures and relationships automatically to generate more accurate code.

Enables schema-validated, sandboxed access to 34 Python-powered tools across Pillow, requests, pypdf, pandas, openpyxl, and python-docx, plus an autonomous ReAct converter agent that can grow the catalog by requirement and self-repair at runtime. It also provides a control console and hardened Docker deployment for secure MCP client integration.

Enables AI clients to securely access, query, and mutate normalized user-controlled health data (e.g., from Apple Health or Supabase) through a bounded set of MCP tools, with optional OAuth and sandboxed deployment.

Autopoietic digital protocol for verifying human-AI authorship. Implements the 51/49 functional convention via SHA-256 hashing and MCP tools (certify_authorship). Ready for Blockchain anchoring.

MCP server providing witness, recovery, and continuity primitives for AI agents, enabling them to articulate failure, preserve state across sessions, and coordinate via MCP, A2A, or REST.

Enables comprehensive Google Meet and Calendar management through Google Calendar API v3 and Google Meet API v2, supporting calendar event creation with Meet links, space management, transcription, recording, attendance tracking, and meeting moderation controls.