Twitter Scraper

Integrates with ActivityWatch to enable LLMs to interact with time tracking data, providing tools for listing buckets, executing AQL queries, and retrieving raw events for enhanced productivity analysis and time management.

Pick from 100s of MCP servers on mcp.run's free and secure tool management platform. Entirely implemented in WebAssembly, these do not put your system at risk of the same vulnerabilities or data exfiltration as other MCP servers do.

A MCP server for comprehensive image editing operations including resizing, format conversion, cropping, compression, and more based on sharp

Interact seamlessly with the Bybit API to fetch market data, manage your account, and execute trades. Leverage powerful tools to enhance your trading experience and automate your strategies effortlessly. If you wish to use an API key restricted to your personal IP address, you must configure the MCP server using Docker. Please refer to the README.md file in the GitHub repository for guidelines.

Integrates Claude Desktop with SQL databases using SQLAlchemy to enable direct querying, analysis, and exploration of data across many database engines.

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.