Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
MCP Server for Vertex AI Search
MCP Server for Vertex AI Search is a Model Context Protocol server that searches documents using Vertex AI grounding with Gemini. It integrates one or multiple…
flkeys.app
flkeys.app — verified, ground-truthed local intelligence for the Florida Keys. Not scraped, not guessed.
kvasir.legal
Ground your legal AI on verifiable German, Austrian, Swiss & EU law — resolve, search and verify citations with provenance and pinpoint deeplinks. 440k+…
Minds: Synthetic Market Research Panels
Minds is a synthetic market research platform. This MCP server lets ChatGPT, Claude, and Cursor run customer research end to end without leaving the assistant…
Social Superpowers
Hosted MCP for X/Twitter and Reddit. 12 read-only tools, no API keys, free during beta.
Wikipedia MCP Server
A Model Context Protocol (MCP) server that retrieves information from Wikipedia to provide context to LLMs.
qlows MCP - Tender Search & Rfp Response
Find Tender in the WTO-GPA Zone (Currently 35 Countries from USA and EUROPE to Australia) in Real Time.
Chroma Package Search
Add to coding agents like Claude or Cursor to give them the ability to understand and better use thousands of dependencies.
Whatic IC Datasheets
Query real IC datasheets: parametric part search, spec lookup, price comparison, and datasheet-grounded answers for electronic components, extracted and…
Arxivloader MCP Server and Client
This project provides an MCP (Microservice Communication Protocol) server and client setup for fetching research papers from the arXiv. The MCP server…
Greptile
# 🚀 Greptile MCP Server - TypeScript Edition [](https://badge.fury.io/js/greptile-mcp-server)…
Simple MCP arXiv client
A simple Python client to interact with the arXiv MCP server.
MCP-VizAPI: Visual Data Extraction with VizAPI.ai
<h1 align="center">MCP-VizAPI: Visual Data Extraction with VizAPI.ai</h1> <p align="center"> <img src="public/VizAPI_MCP_Banner.png" alt="VizAPI and MCP…
Azure Data Explorer MCP Server
# Azure Data Explorer MCP Server This is a Model Context Protocol (MCP) server that can login to Azure Data Explorer and run KQL queries. ## Features - Login…
Traylinx Search Engine MCP Server
# Traylinx Search Engine MCP Server [](https://smithery.ai/server/traylin…
Data Product Mcp
# Data Product MCP A Model Context Protocol (MCP) server for discovering data products and requesting access in [Data Mesh…
Robust new jupyter server
I was facing issues with https://github.com/datalayer/jupyter-mcp-server
Model Context Protocol (MCP) Server for McPoogle Search Engine
# Model Context Protocol (MCP) Server for McPoogle Search Engine ## Overview [McPoogle](https://www.mcpoogle.com) is a search engine for…
Pdf Content Search Mcp
# PDF Content Search MCP Server [](https://swift.org)…
Building an AI-Powered MCP Server with Spring AI: Querying Product Data without APIs
This MCP server is built with Spring AI and Spring Boot to expose a Product table (with fields like name, code, quantity, and price) to AI assistants using the…
HubSpot MCP Server
# HubSpot MCP Server A Model Context Protocol (MCP) server implementation for HubSpot, providing a standardized interface for interacting with HubSpot's API…
Microsoft 365 File Search MCP Server (SharePoint & OneDrive)
# MCP Server - Microsoft 365 File Search (SharePoint & OneDrive) ## Overview A Model Context Protocol (MCP) server implementation that provides advanced file…
Github
# Tavily MCP Server 🚀 …