Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
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…
NPM Search
Enables npm package searches via CLI, facilitating JavaScript library discovery and dependency management
X (Twitter)
Integrates with the X (Twitter) API to enable posting tweets, retrieving user data, and analyzing trends.
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…
CCXT
High-performance CCXT MCP server for cryptocurrency exchange integration.
Tasks Organizer
Converts Cursor agent plans into markdown task lists for organizing and structuring project plans into readable, actionable formats.
Deno Playwright
Integrates with Playwright and Deno to enable browser automation for web navigation, interaction, and data extraction tasks.
Shell
Integrates with the local shell environment to enable execution of system commands, file operations, and retrieval of system information for task automation…
Local Web Search
Integrates with a headless browser to perform Google searches and extract web content, enabling local web search capabilities for up-to-date information…
Amadeus Flight Search
Integrates with Amadeus API to provide flight search capabilities for travel planning and itinerary creation.
X (Twitter)
Integrates with X using real browser APIs to bypass rate limits and enable extensive social media operations and data analysis.
Say (Text-to-Speech)
Provides text-to-speech capabilities through both native system voices and ElevenLabs integration, enabling vocalization of responses without leaving the…
Bilibili
Provides a bridge to the Bilibili video-sharing platform for retrieving user profiles, listing followed accounts, and discovering videos through authenticated…
Unsplash
Integrates with Unsplash's image search API to enable keyword-based photo discovery with filtering by pagination, sorting, color, and orientation parameters…
DevRev
Integrates with DevRev APIs to enable search and retrieval of DevRev data for automated issue tracking, customer support analysis, and data-driven decision…
Hex
Integrates with the Hex API to enable retrieval of project details, management of project runs, and execution of Hex workflows for automated data analysis and…
Face Generator
Generates customizable human face images using thispersondoesnotexist.com, offering options for shape, dimensions, and batch processing for UI prototyping and…
Polygon MCP Server
Integrates with the Polygon blockchain to enable cryptocurrency management, smart contract interaction, and transaction signing through a secure wallet…
Browser Automation
Enables Claude to automate browser interactions by detecting elements and executing planned actions for website navigation, form filling, and content…
Terminal Session
Provides stateful, TUI-compatible terminal sessions for executing commands and running interactive applications, enabling persistent interaction with…
Lilith Shell
Enables secure execution of terminal commands with configurable working directories and timeout protection, capturing stdout, stderr, and exit codes for system…
Bing Webmaster Tools
Integrates with Bing Webmaster Tools API to enable complete site management, URL submission, traffic analysis, crawling, keyword research, and content…