Discord

This application provides a simplified interface to the Smartlead API, allowing AI assistants and automation tools to interact with Smartlead's email marketing features. With advanced tooling and additional connectivity to workflow automation platforms like n8n.

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 FRED API to provide economic data retrieval, search, and metadata access for economic analysis and forecasting applications.

Provides a SQLite-based database backend for efficient data storage and retrieval, leveraging Rust and integrating with mcp-core and mcp-server libraries for embedded systems, desktop applications, or small-scale server deployments.

Integrates with LiteLLM to provide access to OpenAI language models for text completion and generation tasks across various applications.

Liveblocks provides ready-made features for AI & human collaboration—use this server to develop your Liveblocks app quicker. It can create, modify, and delete different aspects of Liveblocks such as rooms, threads, comments, notifications, and more. It also has read access to Storage and Yjs.