"A server to improve math capability of AI" matching MCP servers:

Provides persistent, searchable memory across AI coding agent and chat history (Claude Code, Codex, Gemini CLI, ChatGPT, and more) via retrieval-augmented generation, enabling semantic and hybrid search to retain context across sessions.

MCP server for browser debugging, inspection, and verification that streams console logs, network errors, and user actions into AI coding assistants.

A Model Context Protocol server that enables AI assistants to read from and write to Microsoft Excel files, supporting formats like xlsx, xlsm, xltx, and xltm.

A Model Context Protocol server for Massdriver that enables AI assistants to manage infrastructure platform resources like projects, environments, deployments, policies, and more. It provides 106 tools and supports stdio or HTTP transports.

Enables AI video dubbing from any MCP-capable agent: upload a video or provide a URL, submit a dubbing job, poll progress, and download the finished MP4.

An MCP (Model Context Protocol) server for managing Tailscale resources using the official Tailscale Go client library v2. This server provides complete coverage of the Tailscale API with enhanced, self-descriptive tools powered by OpenAPI documentation.

A Model Context Protocol server that enables AI agents to interact directly with Prometheus metrics data through natural language queries.

Enables an agent to evaluate a target MCP server and verify attestations about it from inside the editor, using read-only, allowlisted tools that never send credentials.

The Multi DB MCP Server is a high-performance implementation of the Database Model Context Protocol designed to revolutionize how AI agents interact with databases. Currently supporting MySQL and PostgreSQL databases.

MCP server for Podman and Docker container runtimes, enabling management of containers, images, networks, and volumes via AI assistants.

A Model Context Protocol (MCP) server that provides programmatic access to DigitalOcean's API. This server exposes tools for managing droplets, Kubernetes clusters, and container registries through the MCP interface.

A powerful and flexible Kubernetes MCP server implementation with support for OpenShift.

Enables AI agents to query Zabbix for current problems, host investigations, alert triage, metrics, and maintenance operations through task-shaped tools with bounded JSON output and human-approval safeguards for any changes.

Enables AI agents to create, manage, and track tasks within plans using Valkey as the persistence layer. Supports plan and task management with Markdown notes, status tracking, and prioritization through multiple transport protocols (SSE, Streamable HTTP, STDIO).

A Model Context Protocol server that connects AI coding agents to Gerrit code review, enabling change search, diff review, and comment publishing without leaving the session.

An MCP server for querying Grafana Loki directly with a discovery-first workflow — labels, values, series, and LogQL queries without requiring Grafana.

MCP Server for the Luno Cryptocurrency API

MCP server for GLEIF LEI (Legal Entity Identifier) database access. Look up, validate, and search legal entities and their relationships in the global LEI system.

An MCP server that exposes tools for issuing scoped agent credentials, delegating narrower child credentials, handling approvals, revoking task trees, and retrieving audit trails and evidence packets.

Model Context Protocol (MCP) server for GitLab — exposes 1006 GitLab REST & GraphQL API operations as MCP tools (42 meta-tools / 57 enterprise), 24 resources, 38 prompts, and 17 completion types for AI assistants. Written in Go, single static binary, stdio and HTTP transport.