Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
OpenAI MCP
Provides a high-performance bridge between OpenAI and Anthropic models with prompt templating, response streaming, and efficient caching for applications…
Solana
Integrates with Solana blockchain to enable natural language querying of account data, transactions, and network status.
macOS Say
Leverages macOS 'say' command for customizable text-to-speech functionality, enabling dynamic voice output.
Google Search Console
A Model Context Protocol (MCP) server providing access to Google Search Console.
World Bank Data
Connects to World Bank open data API for exploring and analyzing global socioeconomic indicators and development trends.
Headless IDA Pro
Enables reverse engineering of binary files through IDA Pro's headless mode, providing tools for function analysis, disassembly, decompilation, and code…
OpenPyXL Excel
Enables Excel file interaction with capabilities for retrieving cell values, searching ranges, examining formatting and formulas, and listing worksheet…
Google Drive
Integrates with Google Drive API to enable file listing, searching, and reading for document retrieval and content analysis tasks.
Mac Apps Launcher MCP Server
Launch and manage macOS applications. List installed apps, launch them by name, or open files with specific apps.
Gong
Integrates with Gong's API to access call recordings and transcripts, enabling analysis of sales conversations and customer interactions with date filtering…
Todoist
Integrates with Todoist API to enable advanced task and project management capabilities including natural language processing for task creation and updates.
Charly Memory Cache
Caches data between language model queries to optimize token consumption and reduce costs in AI interactions.
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…
YouTube Transcript
This MCP server, developed by adhikasp, enables AI assistants like Claude to fetch and analyze YouTube video transcripts. Built in Python, it provides…
MSSQL MCP Server
Enables secure interactions with Microsoft SQL Server databases for automated data analysis, dynamic reporting, and intelligent database management.
PostgreSQL
Enables direct PostgreSQL database interaction with tools for executing SQL queries, creating tables, and listing database schema, featuring security controls…
Three.js
Enables real-time manipulation of Three.js 3D scenes through WebSocket connections, allowing natural language control of object creation, movement, rotation…
Second Opinion (Code Assistant)
Synthesizes insights from multiple AI sources to provide enhanced coding assistance with automatic language detection and git-aware context gathering.
Semantic Scholar
Integrates with the Semantic Scholar API to enable querying academic papers, authors, and citations for research and analysis tasks.
Laravel Helper Tools
Integrates with Laravel projects to provide log analysis, error tracking, and Artisan command execution for streamlined development workflows.
MongoDB
Enables interaction with MongoDB databases through TypeScript and the MongoDB driver, providing seamless integration of MongoDB operations into workflows.
Shell
Integrates with the local shell environment to enable execution of system commands, file operations, and retrieval of system information for task automation…