"A tool or platform for performing advanced math" matching MCP servers:

Educational MCP server with 17 tools for mathematical calculations, matrix operations, statistical analysis, and data visualization. Includes persistent workspace, cloud hosting, and safety features like restricted eval.

MCP server connecting Claude/Cursor to Codex CLI, enabling code analysis via @ file references, multi-turn conversations, sandboxed edits, and structured change mode.

Exposes WAI-ARIA Authoring Practices Guide (APG) patterns, providing narratives, keyboard guidance, and official source code examples for accessible widgets. It includes tools for listing patterns, retrieving specific specs, and performing semantic searches via Ollama.

A bridge between AI assistants and the Paradex perpetual futures trading platform for managing accounts, vaults, and orders. It enables users to retrieve real-time market data, monitor positions, and execute trading strategies through the Model Context Protocol.

A simple MCP server that provides a basic greeting tool and serves as a starter template for AWS Lambda deployment. Demonstrates how to build and deploy MCP servers with both local development and cloud deployment capabilities.

MCP server for Huly (task tracker) integration

Provides read-only, live access to New Caledonia's official legal portal, covering the JONC, codes, consolidated texts, case law and Congress debates, with the official source URL for each document. Enables full-text and advanced legal searching plus retrieval of specific articles, decisions and gazette issues, without an account or API key.

An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.

A read-only MCP server that provides family-context tools for the A2Me platform, enabling AI assistants to answer family-related questions and help write messages by securely accessing family member profiles, upcoming events, and recent activity.

Enables MCP clients to interact with Exact Synergy Enterprise and Exact Globe+ installations, discovering entities and public actions from the OData metadata and safely performing validated reads (with optional allowlisted mutations).

A Model Context Protocol server for the Quire project management platform, enabling AI assistants to securely interact with Quire projects, tasks, and data.

Connects AI assistants to a Redmine instance over the Redmine REST API, enabling issue, project, user, time-tracking, wiki, file, search, and saved-query operations. Sign-in uses browser-based OAuth 2.0 with PKCE (or an API key for older servers), and the tool catalogue spans 55 tools across 9 groups.

A flexible proxy server that aggregates multiple backend MCP servers into a single interface using STDIO or SSE transports. It supports dynamic server management via an HTTP API and utilizes namespacing to prevent tool conflicts across connected services.

A transparent proxy that intercepts high-risk tool calls and requires OTP-based human approval before they can be executed. It acts as a configurable circuit breaker between AI agents and target MCP servers to prevent unauthorized or dangerous actions.

Habitica MCP server built with Effect v4, currently exposing a hello-world tool, resource, and prompt over stdio for early development and testing.

A lightweight MCP server that enables AI assistants to execute local development tools and retrieve system status with low latency over stdio or HTTP.

A local-first, no-API-key MCP server that enables LLMs to search the web, fetch pages, and read documents using multiple engines and smart fallbacks.

MCP server for overseer.nvim — gives any MCP-capable coding agent running inside Neovim (Claude Code, Codex, Gemini CLI, opencode) the same visibility and control over tasks the user has: list, run, tail, restart, stop. Agent-started dev servers land in the user's own task list instead of becoming invisible orphaned processes.

Deterministic encode, decode, hash and convert for agents, on the same pipeline engine as the String Utility Belt web app, CLI and editor extensions: a pipeline built and checked in the browser runs unchanged from its share link. Base64/hex/URL, JWT, hashes, JSON/YAML/CSV/XML, dates and regex; tools to search, describe and run utilities or whole pipelines, and to detect input formats. Runs locally

Enables AI models to access and search offline Wikipedia and other knowledge bases stored in ZIM format files. Provides intelligent content retrieval, structured browsing, advanced search capabilities, and metadata extraction for comprehensive offline knowledge access.

Read-only MCP server for Grafana Loki: lets AI agents (Claude Code, Cursor, Copilot) discover labels, read bounded LogQL pages, count lines by label or time, and export logs — across several Loki stands

Live Japan seasonal travel data from Japan Meteorological Corporation. 12 tools covering cherry blossom (sakura) forecasts, autumn leaves (koyo), fruit picking, flowers, festivals, and 3-day weather. 1,700+ GPS-tagged spots updated daily at 9AM JST. Works via npx or hosted HTTP endpoint — no auth required.

A TypeScript-based server that enables programmatic management of pseudo-terminal sessions. It allows users to spawn, control, and interact with terminal processes in real-time through the Model Context Protocol.

Filesystem MCP server for AI assistants. Search, read, edit, and manage local files in directories you choose.

Let AI agents search and read your mail: on-premises Microsoft Exchange (EWS, no cloud API or admin setup) and any IMAP mailbox, tested on Mail.ru and Gmail. Text inside PDF, Office and ZIP attachments is searchable in Russian and English. Runs from a local copy, and read-only is enforced at the protocol level.

Unofficial MCP server for the messdienst24.de utility portal, providing tools to retrieve heating and hot-water consumption data, download PDF reports, and compare usage trends.

MCP server for the ReactUse library. Exposes 110+ React Hook signatures, examples, and API metadata so AI coding assistants can discover and use any hook from @reactuses/core directly.

Enables AI assistants to create, edit, and publish micropages and posts from markup, with optional controls for subscriber emails, project deletion, and form submissions.

MCP server for video analysis — extracts transcripts, key frames with OCR, and annotated timelines from video URLs. Supports Loom and direct video files (.mp4, .webm). Zero auth required.

Official MCP for Carbone - Document Generation, Document Conversion, and Universal Templating.