Lean 4开发检查工具

Figma MCP服务器

by GLips · TypeScript

为AI编码工具提供Figma设计数据访问，实现一键式设计实现。

Markdown转换服务

by microsoft · Python

MarkItDown-MCP是一个轻量级的Markdown转换服务，支持通过STDIO、Streamable HTTP和SSE协议调用，适用于将各种URI资源转换为Markdown格式。

MCP 协议测试服务器

by modelcontextprotocol · TypeScript

Everything MCP Server 是一个用于完整展示和测试 MCP 协议功能的参考服务器，通过 prompts、tools、resources、sampling 等能力帮助 MCP 客户端开发者验证和调试客户端实现。

图像生成服务

by modelcontextprotocol · JavaScript

EverArt MCP Server是一个通过EverArt API为Claude Desktop提供图像生成服务的工具，支持多种模型和配置选项。

代码安全扫描工具

by semgrep · Python

Semgrep MCP服务器是一个用于扫描代码安全漏洞的工具，支持多种编程语言和集成开发环境。

网页内容抓取服务器

by zcaceres · TypeScript

一个多功能的网页内容抓取服务器，支持HTML、JSON、纯文本、Markdown、可读文章内容和YouTube字幕的提取。