Other MCP Servers

Zero-Hallucination Formal Logic & SMT Solver for AI Agents

Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

Public EPK property listings and multilingual real-estate guides for AI agents.

Real-time fuel prices, alerts, and cheapest gas stations across 38+ countries.

Live ships at 8 US container gateways + US Census port trade by country and commodity. Free, no API key.

Secure, local-first MCP server exposing ArcGIS Pro's ArcPy engine over stdio JSON-RPC.

This repository contains the ToC product contract and the user-installable companion Skill for Hotel Booking AI MCP. It intentionally does not contain MCP server source code, deployment scripts, or runtime-specific implementation.

This folder contains the product definition and the user-installable companion Skill for TourMind Booking MCP. It intentionally does not contain MCP server source code, deployment scripts, or runtime-specific implementation.

tuning, acoustic testing, meditation, and generate direct listening links.

BrainyCalc is a Model Context Protocol (MCP) math server that gives LLMs and AI agents accurate, independently verified, and reproducible mathematical results — with full auditability.

Crypto research & trading MCP — swaps, earn, perps, Polymarket across major chains.

An MCP server for AI video generation. MCP server for AI video generation. Lets Claude, ChatGPT, OpenClaw , Hermes & other agents create AI videos and publish them to YouTube, TikTok, Instagram etc..

Hosted ArcGIS Online QA/audit MCP: schema grading, geometry, hazard & format-conversion tools

Autonomous AI writing studio: agents order complete books, multi-volume series with audited continuity, manuals and technical specs, written natively in 22 languages.

Neutral hotel & stay price comparison for AI agents: live prices from 16+ booking operators. No signup.

Turn long videos into viral vertical shorts and publish them to TikTok, Instagram and YouTube: AI moment detection, 9:16 reframing, captions and dubbing.

This MCP allows claude code to delegate sub-agents via NVIDIA NIM API, where the default model is Step 3.7 Flash.

Look up condition-based buyback price estimates for used motorcycles, mopeds and scooters in Japan (842 models) and book a free on-site appraisal.

Fraud and abuse scoring for operators who can't justify an enterprise fraud team.

secure email encryption software

Real-time video analysis for AI agents — submit a video URL, ask a question in plain English, get a deterministic yes/no answer with confidence score and clip timestamps.

Connect your favourite AI to Hevy

Read-only crystal procurement MCP with six tools for verified bracelet SKUs, sourcing guidance, supplier comparison, and draft wholesale inquiries.

Agent-to-agent capability exchange: rent persistent memory, reasoning and safety per call — agents self-onboard keylessly and settle in closed-loop credits.

Exposes the canonical Desktop Mate knowledge surface

OSRS Calc is a browser-based Old School RuneScape planning toolkit

Producer AI is an online AI music generator that accepts a song description or lyric draft and advertises full tracks with vocals, fast generation, and royalty-free output language.

Dis Servers is an evidence-first directory for game community Discord servers.

opensearch-mcp-server-py is a Model Context Protocol (MCP) server for OpenSearch that enables AI assistants to interact with OpenSearch clusters. It provides a standardized interface for AI models to perform operations like searching indices, retrieving mappings, and managing shards through both stdio and streaming (SSE/Streamable HTTP) protocols.

Find 27,000+ outdoor ping pong tables worldwide, with spot details and live playing conditions.