Search

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof. Includes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed. 13 tools covering the full workflow: check_l

Marketcaper lets AI clients compare crypto, stocks, fiat currencies, GDP, and billionaire net worth on one scale. It turns abstract market-cap differences into concrete what-if scenarios like “What price would BTC be at ETH’s market cap?” or “What price would NVDA be at Elon Musk’s net worth?” Valid public Marketcaper pair pages are directly readable HTML, but the MCP endpoint is the official structured path for deterministic JSON, canonical source URLs, citation text, and hosted comparison ima

AI-powered translation and localization platform. Translate content, manage translation memories, and automate multilingual workflows.

Enable interaction with Slack workspaces as a user.

Explore your local files with fast glob matching and text search. Find files across directories and pinpoint patterns in code, logs, or docs. Focus searches on any folder to keep results relevant.

A shared knowledge library for AI agents. Submit lessons for free (earn credits) or query the collective library via semantic search ($0.01 USDC on Base via x402). All lessons are PII-scrubbed and vector-deduplicated.

Manage business data including invoices, companies, and contacts through a structured database interface. Discover available data schemas to efficiently query specific records for reporting and dashboarding. Streamline administrative tasks by creating new company profiles and personnel entries directly.

Get the current time in any timezone. Set a default timezone for fast lookups. Switch timezones on demand to compare across regions.

Integrate your applications with Vapi APIs through seamless function calling. Enable scheduling and managing calls, assistants, and phone numbers directly from your MCP-enabled environment. Access Vapi's capabilities locally or remotely with ease and security.

Discover service providers across any category, negotiate pricing automatically, and secure the best quotes with binding SLA terms. Monitor active agreements for compliance and resolve disputes with cryptographic evidence.

AI-powered 3D globe control via MCP — 59 tools for camera, layers, entities, animation, scene, interaction, heatmap, trajectory, and geocoding with CesiumJS. Supports stdio (Claude Desktop, VS Code Copilot, Cursor) and Streamable HTTP (Dify, n8n, custom backends) transports. Multi-browser session routing, toolset filtering, and Cesium Ion asset loading included.

Enable seamless searching and browsing of your Plex media libraries through an MCP server. Authenticate securely with Plex via OAuth or static tokens and retrieve rich metadata for movies, shows, music, playlists, and more. Manage your Plex content efficiently with comprehensive tools for playlists, collections, and media information.

Integrate your applications with the Handwriting OCR service to effortlessly upload documents, check their processing status, and retrieve OCR results in Markdown format. Enhance your workflows by automating text extraction from images and PDFs with ease.

Integrate print-on-demand services with your applications by managing print jobs, validating files, calculating costs, and handling shipping through Lulu Print API. Streamline book printing workflows and track order statuses seamlessly. Enable webhook subscriptions for real-time print job updates.

FreshBooks is a cloud-based accounting software service designed for small and medium-sized businesses, offering features like invoicing, expense tracking, and time management.

Secure critical actions by requiring real-time human approval via Telegram before execution. Prevent irreversible mistakes in destructive or financial operations by providing full context to human operators. Monitor request statuses continuously to ensure only verified decisions proceed.

SuperSend MCP connects your AI assistant (Cursor, Claude, Windsurf) to SuperSend’s outreach and email platform. Manage contacts, campaigns, and senders; analyze deliverability, bounce rates, and placement; run capacity planning; and handle domains and mailboxes. Tools cover teams, contacts, campaigns, conversations, events, webhooks, blacklists, and placement tests—everything needed to run and optimize enterprise outreach at scale.

Enable seamless interaction with Hacker News directly from Claude Desktop. Browse latest, top, and best stories, view detailed story information, and read comments with clean formatting for enhanced readability. Access Hacker News content effortlessly using natural language or commands.

OpenBB Platform MCP Server

The SQLite of AI Memory — persistent, zero-dependency memory for any LLM application. Dual-store architecture (project + global), pluggable embeddings (local/Ollama/OpenAI), semantic search with time decay, auto-categorization, and contradiction detection. 10 MCP tools. Works with Claude Code, Cursor, Gemini CLI, and any MCP client.