Other

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Ed25519-signed market open/close receipts for NYSE, NASDAQ, LSE, JPX, Euronext, HKEX, and SGX.

MCP server for timezone conversions and time queries with support for IANA timezones

Live Microsoft Word editing via MCP — tracked changes, undo, comments, 40+ tools

Servidor MCP para integração com o Banco Inter (PJ). Consulte saldos e gerencie cobranças.

Read, create, and modify Microsoft Word documents

MCP server for ParentSquare school-parent communication platform

Query 717 Swedish statutes, EU cross-references, case law, and preparatory works

Enables interaction with the Anki desktop app for spaced repetition learning. Supports reviewing due cards, creating new flashcards, and managing study sessions through natural language commands.

Trade bonding curve tokens on Base via Mint Club V2 — buy, sell, swap, create

Control AWX/Ansible Tower through natural language - 49 tools for automation

Fixes DPI coordinate scaling for Windows desktop automation MCP servers.

Query Dutch statutes, 202K+ court decisions, EU cross-references, and kamerstukken

Bitcoin Ordinals MCP Server — inscriptions, runes, BRC-20, collections & rare sats

Revenue intelligence for SaaS founders: ICP scoring, persona profiling, competitive positioning.

MCP server for Business Central operational expense analysis, bank reconciliation, POS reconciliation, and accounts receivable/payable - Full Queso franchise stores

腾讯股票数据 MCP 服务器，为 AI 助手提供股票数据查询和持仓管理功能。

MCP server for the Sidearm API — protect media from AI training, detect AI content, and search for stolen work

基于Minimax的多角色 AI 讨论系统，通过定义不同角色让多个 AI 代表不同观点进行讨论，最终形成共识决策。

Gibraltar company tools: corporate tax, compliance deadlines, and PDF form generation.

Real-time banking regulatory intelligence from 100+ federal and state sources.

39 tax tools for US taxpayers: federal/state tax, credits, deductions, retirement. All local.

An MCP server providing zero-shot object detection and segmentation using Ultralytics YOLOE.

MSTP writing style MCP server for all.

example-mcp-server-stdio

MCP server for CivNode — a slow web platform. 23 tools for monuments, writing, forums, letters, messaging, encounters, and patron subscriptions.

Unofficial Rivian API MCP