Magic: The Gathering

AniList MCP server for accessing AniList API data

Integrates with Brevo's Multi-Channel Platform API to enable email campaign management, contact list handling, and automated marketing communications.

Integrates with YouTube to enable subtitle retrieval and analysis for content summarization, translation, or accessibility enhancement.

Integrates with software documentation sources to process, index, and retrieve technical content for enhanced code assistance and API exploration.

Integrates with WordPress REST API to enable secure content management, user administration, and site configuration tasks.

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.