搜索检索stdio
An MCP server for the z3 theorem prover
安装状态
已补齐
工具数量
0
GitHub Stars
5
命令预览
python -m z3_poc.examples.main
AI代理stdio
为ZEN大学课程数据提供MCP协议接口实现，支持通过Claude Desktop和VSCode Copilot进行课程查询与推荐。
安装状态
已补齐
工具数量
0
GitHub Stars
5
命令预览
npx tsc
设计创作stdio
一个基于4o-image API的MCP服务器实现，使LLMs和其他AI系统能够通过标准化协议生成和编辑图像，支持通过简单文本提示创建高质量的艺术作品、3D角色和自定义图像。
工具数量
1
GitHub Stars
4
浏览器工具stdio
An MCP server to talk to Airtop (
工具数量
0
GitHub Stars
4
开发工具未说明
A Claude MCP server providing secure access to Android project files for AI-assisted code navigation and analysis.
工具数量
0
GitHub Stars
4
运维云端HTTP
Auralis Commander是一个轻量级的Windows MCP服务器，提供14种工具，涵盖shell、文件、搜索、进程和系统管理，具有批处理操作和低资源消耗的特点。
安装状态
已补齐
工具数量
14
GitHub Stars
4
命令预览
npm install -g auralis-commander
AI代理stdio
通过自然语言与AWS Amplify Gen2应用数据进行交互的MCP服务器，支持查询、修改数据模型等操作。
安装状态
已补齐
工具数量
0
GitHub Stars
4
命令预览
npm install amplify
设计创作未说明
MCP server for generating and editing images using AWS Bedrock’s Nova Canvas model
工具数量
8
GitHub Stars
4
文档知识stdio
一个Model Context Protocol (MCP)服务器，提供与Beehiiv API v2交互的工具，使大型语言模型(LLMs)能够通过标准化工具与Beehiiv出版物和帖子进行交互。
工具数量
0
GitHub Stars
4
音视频stdio
Bilibili MCP Server Unofficial(video Subtitles And Comments)
@xzxzzx/bilibili-mcp
Bilibili MCP工具(获取视频字幕和评论) \\r\\nA Bilibili MCP server for retrieving video subtitles and comments.
安装状态
已补齐
工具数量
2
GitHub Stars
4
命令预览
BILIBILI_SESSDATA={BILIBILI_SESSDATA} BILIBILI_BILI_JCT={BILIBILI_BILI_JCT} BILIBILI_DEDEUSE...
开发工具stdio
C7 MCP Server
@modelcontextprotocol/inspector
An unofficial MCP server for Context7 by Upstash.
安装状态
已补齐
工具数量
0
GitHub Stars
4
命令预览
npx @modelcontextprotocol/inspector c7-mcp-server
开发工具stdio
Servidor MCP para integração entre extensão Chrome e Claude AI
安装状态
已补齐
工具数量
0
GitHub Stars
4
命令预览
npx github:adejaimejr/chrome-mcp-server
金融服务stdio
ClawdPay MCP
clawdpay-mcp
ClawdPay MCP是一个为AI代理提供支付服务的服务器，支持通过Privacy.com虚拟卡进行购买。
安装状态
已补齐
工具数量
3
GitHub Stars
4
命令预览
npx clawdpay-mcp
搜索检索stdio
Colombia MCP Server
@crexative/colombia-mcp-server
MCP server para consultar información geográfica y turística de Colombia. Accede a datos de las 6 regiones naturales, 32 departamentos, ciudades, municipios y atracciones turísticas con coordenadas e imágenes.
安装状态
已补齐
工具数量
15
GitHub Stars
4
命令预览
npx @crexative/colombia-mcp-server [object Object]
开发工具stdio
ComfyUI MCP Server
@modelcontextprotocol/inspector
what it says on the tin
安装状态
已补齐
工具数量
1
GitHub Stars
4
命令预览
npx @modelcontextprotocol/inspector uv --directory E:\Claude\comfy-ui-mcp-server run comfy-u...
搜索检索未说明
MCP server of web search/fetch functionality using duckduckgo and jina api. no api key required.
工具数量
0
GitHub Stars
4
安全风控stdio
Elenchus MCP Server
@modelcontextprotocol/inspector
Elenchus是一个基于模型上下文协议（MCP）的服务器，通过验证者与批评者的辩论循环实现对抗性代码验证，适用于多语言代码的安全性和正确性检查。
安装状态
已补齐
工具数量
36
GitHub Stars
4
命令预览
npx @modelcontextprotocol/inspector node dist/index.js
搜索检索stdio
A Model Context Protocol server for enriching data from multiple security products
安装状态
已补齐
工具数量
0
GitHub Stars
4
命令预览
uv run --env-file .env server.py
开发工具stdio
A GitHub MCP Server
安装状态
已补齐
工具数量
3
GitHub Stars
4
命令预览
uv run main.py
AI代理stdio
FIWARE MCP服务器是一个桥接FIWARE Context Broker与其他服务的实现，提供基本的上下文操作功能。
安装状态
已补齐
工具数量
0
GitHub Stars
4
命令预览
pip install -r requirements.txt