@gongrzhe/server-json-mcp

A Dockerized Lean4 execution environment MCP server for AI agents, providing isolated code execution with transient or persistent environments.

A Model Context Protocol server that provides Stellar blockchain interaction capabilities for LLMs

Gmail MCP server with RAG support, integrates with Gmail APIs to list, delete, summarize, and send emails and labels.

Model Context Protocol server for KiCad on Mac, Windows, and Linux

A test of jira mcp server

A MCP server for providing code snippets via Nostr