Enables browser automation using the Selenium WebDriver through MCP, supporting browser management, element location, and both basic and advanced user interactions.
Analyzes sentiment in news headlines from major US publications using both standard and natural language date inputs, enabling insights into public sentiment trends.
MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
mcp using PyPDF2 to:
• merge-pdfs
• extract-pages
• search-pdfs
• merge-pdfs-ordered (merge in user spec. order)
• find-related-pdfs (regex extracted text for related PDF files)