Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
YouTube Transcripts
Integrates with YouTube's transcript API to retrieve and process captions from video URLs, enabling content analysis and information extraction from spoken…
World Bank Data
Connects to World Bank open data API for exploring and analyzing global socioeconomic indicators and development trends.
OpenPyXL Excel
Enables Excel file interaction with capabilities for retrieving cell values, searching ranges, examining formatting and formulas, and listing worksheet…
Trino (SQL Query Engine)
Connects AI systems to Trino/Iceberg databases for SQL execution, data exploration, and table optimization with seamless connection management and catalog…
eSignatures
Integrates with the eSignatures.com API to simplify contract and document management, enabling creation, querying, and handling of digital contracts and…
RabbitMQ
Integrates RabbitMQ, enabling message queue operations for distributed systems and event-driven architectures.
Database
Enables natural language querying and management of multiple database types (PostgreSQL, MySQL, SQL Server, BigQuery) for data analysis, business intelligence…
MSSQL MCP Server
Enables secure interactions with Microsoft SQL Server databases for automated data analysis, dynamic reporting, and intelligent database management.
Tasks Organizer
Converts Cursor agent plans into markdown task lists for organizing and structuring project plans into readable, actionable formats.
Docling
Integrates IBM's Docling software to parse and convert various document formats into standardized Markdown, enabling efficient document processing and analysis…
Bonsai BIM (Blender IFC)
Connects Claude to Blender for analyzing and interacting with IFC building models through five specialized tools for querying project information, listing…
Discord (Full API)
Integrates with Discord's API to enable flexible bot development and management through simplified REST and slash command interfaces.
File Editor
Provides file operations for reading, writing, and editing on host systems.
Amadeus Flight Search
Integrates with Amadeus API to provide flight search capabilities for travel planning and itinerary creation.
Goose Extensions
Extends Goose AI assistant with five specialized servers for Plex Media Server interaction, Rotten Tomatoes scraping, eBay sales data retrieval, SearxNG web…
Google Forms
Enables creation and management of Google Forms through natural language requests, converting conversational inputs into structured form elements for surveys…
Enhanced AutoGen MCP Server
Bridges Microsoft's AutoGen framework with external tools, enabling autonomous agents to execute code, perform research, and collaborate in multi-agent…
DataBridge
Integrates with DataBridge to enable ingestion and retrieval of contextual information from a local database, supporting persistent storage for AI applications.
DevRev
Integrates with DevRev APIs to enable search and retrieval of DevRev data for automated issue tracking, customer support analysis, and data-driven decision…
Jira
Integrates with Jira's API to enable issue tracking, project management, and workflow automation tasks.
ChatGPT macOS App
Enables interaction with the ChatGPT macOS app through AppleScript automation, allowing tools to send prompts via keyboard input simulation without switching…
Claude Conversations to Markdown
Integrates with markdown files and Apple Notes to automatically save and format Claude conversation content for easy reference and sharing.
eClass (UoA)
Integrates with Open eClass platform to enable course access and management through UoA's SSO authentication system, providing tools for login, course listing…