Gmail

A Model Context Protocol (MCP) server for Compresto, providing AI assistants with real-time data about Compresto's usage statistics.

Enables macOS volume control via osascript, providing mute and unmute functionality for system audio management.

Integrates with ComfyUI to enable text-to-image generation using customizable Stable Diffusion workflows.

A Model Context Protocol server that provides seamless access to the LangSmith prompt library—the world's largest collection of community-vetted AI prompts. With over 1000+ battle-tested prompts, advanced search capabilities, and rich metadata including usage statistics and version history, this server transforms how you discover and integrate prompts into your AI workflows. (13) MCP Tools (3) MCP Resources (4) MCP Prompts

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.

Integrates with external resources to provide curated development knowledge for code generation, bug fixing, and context-aware programming advice.