Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server) for theorem proving, model finding, and abductive reasoning
A Model Context Protocol (MCP) server that facilitates structured, progressive thinking through defined stages
An MCP server providing AI-driven development tools including file system operations, code analysis, web search, and system information
A Model Context Protocol server providing comprehensive web analysis tools including HTML extraction, markdown conversion, screenshot capabilities, debug console, performance analysis, and Lighthouse-powered web audits
A Model Context Protocol (MCP) server for Google Calendar integration with auto authentication support, enabling AI assistants to manage calendar events through natural language
An MCP proxy server that aggregates and serves multiple MCP resource servers through a single interface
Turn any URL into agent-callable MCP tools. One spec-compliant MCP server endpoint, no per-site build.
The universal remote for AI: one MCP install gives agents 450+ callable endpoints across 60+ integrations, plus persistent cross-session memory.
Universal MCP gateway for AI agents — 618 tools, 191 providers. Pay per call with x402 USDC on Base + MPP Tempo.
MCP server for AI-driven image editing with Photopea
Creative AI MCP server — 32 tools (18 free): image generation, upscaling, bg removal, mockups, CMYK, print-ready PDF, vectorization, watermarking, enrichment, provenance. Pay per call via x402/Stripe/GCX.
MCP server + embedded terminal that lets Claude Code see and edit your ComfyUI workflows
MCP server that fetches video transcripts/subtitles via yt-dlp, with pagination and Whisper fallback. Supports YouTube, Twitter/X, Instagram, TikTok, Twitch, Vimeo, Facebook, Bilibili, VK, Dailymotion, Reddit.
A unified CLI, web dashboard, and Python API for SLURM job management with MCP server support for AI agent integration.
A comprehensive MCP server providing access to essential DevOps and networking tools (ping, traceroute, nmap, curl, DNS, monitoring) through a standardized interface.
MCP server for QMailing - AI agents read & send email, manage mailboxes, custom domains and webhooks via the QMailing API.
An agent-optimized OS layer that makes AI coding agents faster and cheaper by replacing built-in file, search, exec, and git tools with structured JSON equivalents
Rust-native MCP server for Office document processing (Excel, Word, PowerPoint, PDF). Sub-millisecond, local-first, open source.
Make b-roll for your videos. Tell an agent what you want, get an MP4 back. Free local MCP server that drives Remotion.
MCP server for spatial transcriptomics analysis through natural language interfaces.
DICOM/HL7 healthcare interoperability MCP server for Claude
Taiwan National Health Insurance (NHI) data for AI agents via Model Context Protocol. Powered by OPDSTAR.
The QA agent for your vibe-coded app. Audits web apps for broken flows, JS errors, security headers, accessibility, and more via MCP.
MCP bridge that lets Claude Code delegate heavy tasks to the Antigravity CLI (agy) — purpose-built tools, model routing with fallback, session continuity, and output truncation
Pure-Python MCP server for encoding, hashing, and crypto-primitives — computed for real, locally.
MCP server that offloads cheap work from your cloud LLM agent to a local Ollama model — summaries, drafts, extractions, first-pass reviews — at zero cloud cost.
Graph-based static analysis tool with MCP server for AI code understanding
MCP server for Tolk smart contract compiler — compile, check, and deploy TON blockchain smart contracts from any MCP-compatible AI assistant
A Model Context Protocol (MCP) server for interacting with Bugsnag. This server allows LLM tools like Cursor and Claude to investigate and resolve issues in Bugsnag.
IP Geolocation MCP server using IP2Location.io API
