"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

• Usage And Billing MCP Server

  BACH-AI-Tools

  A

  security

  A

  license

  -

  quality

  Enables access to Usage and Billing APIs for managing accounts, products, meters, plans, and usage reporting. Supports operations like creating products/plans, reporting usage, and retrieving billing information.

  Last updated 2025-12-07

  18

  MIT

• Divide and Conquer MCP Server

  landicefu

  A

  security

  A

  license

  -

  quality

  Enables AI agents to break down complex tasks into manageable pieces using a structured JSON format with task tracking, context preservation, and progress monitoring capabilities.

  Last updated 2025-06-26

  15

  28

  7

  MIT

• Reuters Business and Financial

  BACH-AI-Tools

  A

  security

  A

  license

  -

  quality

  Provides access to the Reuters Business and Financial News API to retrieve articles, trending news, and market data. It enables searching and filtering financial content by date, author, category, and keywords.

  Last updated 2025-12-07

  20

  MIT

• Account and Transaction MCP

  ag2-mcp-servers

  -

  security

  F

  license

  -

  quality

  An MCP Server that provides a conversational interface to the UK Open Banking account information API, allowing agents to interact with bank account data through natural language commands.

  Last updated 2025-07-16

• GCP Billing and Monitoring MCP

  RadiumGu

  A

  security

  A

  license

  -

  quality

  Enables interaction with Google Cloud services including billing cost analysis, log querying, and metrics monitoring through natural language commands. Provides comprehensive tools for managing GCP resources, analyzing costs, detecting anomalies, and retrieving operational insights.

  Last updated 2025-12-15

  40

  1

  Apache 2.0

• Google Calendar and Meet MCP

  INSIDE-HAIR

  A

  security

  F

  license

  -

  quality

  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.

  Last updated 2025-08-29

  24

  2

• MCP Server with LangChain and

  durgeshmca

  -

  security

  F

  license

  -

  quality

  A multi-tool AI assistant system that uses Model Context Protocol to connect language models with various tools, including math calculations and weather information.

  Last updated 2025-06-26

• gdb and rr Debugging

  schuay

  A

  security

  A

  license

  -

  quality

  MCP server that exposes GDB debugging as tools. An AI assistant can set breakpoints, run programs, step through code, inspect variables and memory, and examine registers — all via structured tool calls. Reverse debugging with rr is also supported.

  Last updated 2026-03-15

  34

  1

  MIT

• FastAPI MCP Math and Tool

  hannguyendd

  -

  security

  F

  license

  -

  quality

  A FastAPI-integrated MCP server that provides mathematical operations like addition and multiplication using Pandas for data manipulation. It serves as a comprehensive example for implementing different tool registration patterns and real-time communication via Server-Sent Events.

  Last updated 2025-06-29

• MCP Remote with Adobe and Okta

  adobe-rnd

  -

  security

  A

  license

  -

  quality

  A wrapper for mcp-remote that provides secure authentication for protected MCP servers using Adobe IMS or Okta OAuth flows. It features automated token management, validation, and background refreshing for seamless access to remote resources.

  Last updated 2025-07-25

  16

  2

  MIT

• MCP AI Bug Helper

  meinzeug

  A

  security

  F

  license

  -

  quality

  Provides emergency coding assistance by querying three AI coding models simultaneously through OpenRouter, with automatic premium fallback on rate limits, returning multiple expert opinions with cost and latency telemetry for debugging and problem-solving.

  Last updated 2025-11-18

  1

  4

• Systems MCP

  lethain

  A

  security

  A

  license

  -

  quality

  An MCP server that allows users to run and visualize systems models using the lethain:systems library, including capabilities to run model specifications and load systems documentation into the context window.

  Last updated 2025-08-17

  2

  14

  MIT

• OpenAI and Claude MCP

  Spysailor

  -

  security

  F

  license

  -

  quality

  A simple server that acts as a Master Control Program (MCP) for unified interaction with OpenAI and Anthropic (Claude) AI models through a single API endpoint.

  Last updated 2025-04-13

  5
• 

  Bitrefill Search and Shopofficial

  bitrefill

  A

  security

  A

  license

  -

  quality

  This MCP wraps Bitrefill public API to allow agents to search for products and shop using cryptocurrencies like Bitcoin, Ethereum, Solana, and many more.

  Last updated 2025-12-12

  4

  55

  7

  MIT

• MCP Server for stock and

  aahl

  A

  security

  A

  license

  -

  quality

  MCP Server for stock and crypto

  Last updated 2026-03-26

  18

  372

  MIT

• Todo for AI MCP Server

  todo-for-ai

  -

  security

  A

  license

  -

  quality

  Provides AI assistants with a standardized interface to interact with the Todo for AI task management system. It enables users to retrieve project tasks, create new entries, and submit completion feedback through natural language.

  Last updated 2026-03-24

  4

  Apache 2.0

• MCP Math Tools

  wapred

  -

  security

  F

  license

  -

  quality

  Provides basic mathematical operations like addition, subtraction, multiplication, and division via the Model Context Protocol using stdio transport. This project serves as a complete reference implementation for a functional MCP server and client setup.

  Last updated 2026-02-01

• MCP Server with SSE and Bearer

  Personalcreativelda

  -

  security

  -

  license

  -

  quality

  A TypeScript implementation of a Model Context Protocol server that enables real-time communication with LLM clients using Server-Sent Events (SSE) for transport and Bearer Token authentication for security.

  Last updated 2025-07-12

  MIT

• cronozen-proof

  cronozen

  -

  security

  A

  license

  -

  quality

  Tamper-proof audit trail for AI decisions. 6 tools to record, verify, and export cryptographic proof chains via MCP.

  Last updated 2026-04-07

  1

  Apache 2.0

• MCP Server with SSE and Bearer

  Personalcreativelda

  -

  security

  -

  license

  -

  quality

  A TypeScript implementation of a Model Context Protocol server that uses Server-Sent Events for real-time communication and Bearer Token authentication to enable secure interaction with LLM clients like Claude Desktop.

  Last updated 2025-07-12

  MIT

• Cloudflare MCP with Google

  bighadj22

  -

  security

  F

  license

  -

  quality

  A deployable MCP server template for Cloudflare Workers that provides Google OAuth authentication and comprehensive analytics tracking of tool usage, performance metrics, and user behavior.

  Last updated 2025-06-28

  2

• Bilibili Mcp Server

  365903728-oss

  -

  security

  F

  license

  -

  quality

  ✨ 为你的 AI 助手装上 B 站的眼睛：一键提取视频字幕与热门评论，助力高效信息总结 🚀 ✨ Equip your AI assistant with "Bilibili Eyes": One-click extraction of video subtitles and popular comments for efficient information summarization 🚀

  Last updated 2026-03-11

  54

  2

• Databases MCP Server (Access

  Carltk

  -

  security

  A

  license

  -

  quality

  Enables AI to interact with Microsoft Access (.mdb, .accdb) and SQLite 3 databases, including read-only support for Access 97 databases. Supports executing SQL queries, importing/export data from CSV and Excel files, and storing notes about database files.

  Last updated 2026-01-05

  MIT

• Access and SQLite MCP Server

  scanzy

  -

  security

  A

  license

  -

  quality

  Enables AI interaction with Microsoft Access and SQLite databases to perform SQL queries, updates, and data management. It supports importing and exporting data via CSV and Excel files and includes tools for managing human-readable notes about database files.

  Last updated 2025-09-17

  6

  MIT

• mcp-math

  MikeyBeez

  -

  security

  F

  license

  -

  quality

  Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.

  Last updated 2026-01-17

• Banking and Fintech MCP Server

  anhtuanluu

  -

  security

  F

  license

  -

  quality

  A FastMCP-based server designed for the banking and fintech domains, providing tools for database queries, Git operations, and deployment management. It features a modular architecture with reusable prompt templates and integrated security practices for sensitive data handling.

  Last updated 2026-03-28

• Document Reading and Converter

  mffrydman

  -

  security

  F

  license

  -

  quality

  Enables document conversion between PDF, DOCX, and Markdown formats to facilitate reading and editing complex files in AI tools like Claude Desktop or Cursor. It utilizes marker-pdf and pandoc to provide structured text versions of documents, helping to manage context and support unsupported file types.

  Last updated 2025-06-25

  1

• Music and Madness Sync Bridge

  CaptainCurso

  -

  security

  F

  license

  -

  quality

  Enables synchronization and management of FoundryVTT journal entries within a Notion Story Bible, including media export and conflict resolution tools. It provides a Model Context Protocol interface for LLMs to preview, apply, and monitor data mirroring between tabletop RPG platforms and digital databases.

  Last updated 2026-02-21

• Two Truths and a Twist

  ErgodicLabs

  -

  security

  A

  license

  -

  quality

  An MCP-based trivia game server where AI creates rounds with two true statements and one false 'twist' about various topics, letting players guess which statement is false.

  Last updated 2025-04-09

  5

  MIT

• URL Reputation and Validity

  prismon

  -

  security

  A

  license

  -

  quality

  Validates URLs and checks their reputation to help identify AI hallucinations and verify web page authenticity.

  Last updated 2025-05-29

  MIT

• Radarr and Sonarr MCP Server

  BerryKuipers

  -

  security

  F

  license

  -

  quality

  A Python-based Model Context Protocol server that allows AI assistants like Claude to access and query your movie and TV show collection via Radarr and Sonarr APIs.

  Last updated 2025-10-25

  32

• Date and Time MCP Server

  MarcinMalczewski

  -

  security

  F

  license

  -

  quality

  A simple Model Context Protocol (MCP) server that provides date and time functionality in any timezone, along with user profiles and personalized greeting resources.

  Last updated 2025-06-11

• Math MCP Server for MacOS

  rohinigaonkar

  -

  security

  F

  license

  -

  quality

  Implements a math agent using Model Control Protocol that performs mathematical calculations and visually presents results in Keynote, enabling drawing shapes and adding text to slides.

  Last updated 2025-04-04

  4

• AI Agent with MCP

  moises-paschoalick

  -

  security

  F

  license

  -

  quality

  Enables AI agents to access user and message data through MCP resources, providing REST API integration for user management with paginated lists and thread tracking.

  Last updated 2025-06-27

  19

  2

• Redmine Analytics and

  a1official

  -

  security

  F

  license

  -

  quality

  A comprehensive MCP server providing advanced Redmine project analytics, web automation via Playwright, and iTunes music integration. It enables detailed tracking of sprint metrics, bug counts, and team performance through a token-optimized tool architecture.

  Last updated 2026-02-13

• Database Tools for Claude AI

  elber-code

  A

  security

  F

  license

  -

  quality

  MCP server that allows Claude AI to interact directly with MySQL databases, enabling query execution and table information retrieval through natural language.

  Last updated 2025-04-17

  1

  9

  4

• Bug Bounty MCP Server

  akinabudu

  -

  security

  F

  license

  -

  quality

  A comprehensive MCP server for automated bug bounty hunting and security reconnaissance, featuring over 28 specialized tools for subdomain discovery, vulnerability scanning, and traffic analysis. It integrates automated scope validation and professional reporting across multiple platforms like HackerOne and Bugcrowd to streamline security testing.

  Last updated 2025-10-12

  3

• Vibe Preprocessing and

  mudit14224

  -

  security

  F

  license

  -

  quality

  Enables users to preprocess, analyze, and visualize CSV data through comprehensive tools for data manipulation, statistical analysis, and graph generation.

  Last updated 2025-04-20

  3

• Pan Card Verification At

  BACH-AI-Tools

  A

  security

  A

  license

  -

  quality

  Enables access to the Pan Card Verification API for validating Indian PAN card details. It provides a dedicated tool for performing PAN verification through a standardized MCP interface.

  Last updated 2025-12-07

  1

  MIT

• ZeroTrusted ai PII Detection

  www-zerotrusted-ai

  -

  security

  F

  license

  -

  quality

  ZeroTrusted ai PII Detection

  Last updated 2025-05-30

• Financial News and Notes MCP

  guangxiangdebizi

  A

  security

  A

  license

  -

  quality

  A TypeScript-based MCP server that enables users to query financial news, stock data, and index information while managing text notes with creation and summarization capabilities.

  Last updated 2026-03-04

  5

  23

  509

  MIT

• Serper Search and Scrape MCP

  tahaswx

  A

  security

  A

  license

  -

  quality

  Enables web search via Serper API with advanced search operators and webpage scraping capabilities to extract content in plain text or markdown format.

  Last updated 2025-03-13

  2

  19,076

  MIT

• Math MCP Server

  danielsimonjr

  -

  security

  A

  license

  -

  quality

  Provides secure mathematical computation capabilities including expression evaluation, symbolic math (derivatives, simplification), matrix operations, statistics, and unit conversion, with multi-tier acceleration through WebAssembly and WebWorkers for high-performance calculations.

  Last updated 2026-03-02

  7

  ISC

• Weather and Stock Information

  suraj2906

  A

  security

  F

  license

  -

  quality

  An MCP server that provides real-time weather alerts, forecasts, stock market data, and news information through various API integrations.

  Last updated 2025-06-06

  5

• Model Context Protocol Server

  arkeodev

  -

  security

  A

  license

  -

  quality

  Provides a standardized protocol for tool invocation, enabling an AI system to search the web, retrieve information, and provide relevant answers through integration with LangChain, RAG, and Ollama.

  Last updated 2025-04-27

  2

  MIT

• Math-MCP

  EthanHenrickson

  A

  security

  A

  license

  -

  quality

  A Model Context Protocol server that provides basic mathematical and statistical functions to LLMs, enabling them to perform accurate numerical calculations through a simple API.

  Last updated 2026-02-22

  13

  31

  110

  MIT

• atdata-email-verification-mcp

  avivshafir

  A

  security

  A

  license

  -

  quality

  atdata-email-verification-mcp-server

  Last updated 2026-01-23

  2

  MIT

• Canvas MCP - College and High

  aryankeluskar

  -

  security

  A

  license

  -

  quality

  A set of tools enabling AI agents to interact with Canvas LMS, allowing users to find relevant resources, get course information, and navigate modules through natural language queries.

  Last updated 2026-03-11

  43

  11

  ISC

• Hello World MCP FastAPI

  bankszach

  -

  security

  F

  license

  -

  quality

  A minimal Model Context Protocol server built with FastAPI that provides a basic "Hello World" resource and tool. Serves as a starting point for building and validating MCP client integrations with richer resources and tools.

  Last updated 2025-10-14

• Auto-Browser

  LvcidPsyche

  A

  security

  A

  license

  B

  quality

  Human-in-the-loop automation framework. Log them in, watch them run.

  Last updated 2026-04-08

  32

  9

  MIT