Scan to join WeChat groupPublic
dnsLocalstar1visibility13.1K
mcp-server-logical-solver
MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。
personRyanNg1403
AI Workflow
Model Context Protocol
MCP Server Directory
Find public MCP servers with readable READMEs, safe JSON config previews, source references, and trust signals in one focused catalog.
verified_user
Curated MCP signalsBrowse verified metadata, runtime mode, README content, and safe config previews before connecting a server.
Public
dnsLocalstar5visibility13.1K
mcp-deepseek-demo
MCP DeepSeek演示项目是一个基于MCP协议的客户端应用，集成DeepSeek AI实现工具调用和实时通信，包含Next.js前端和SSE服务端。
personUlanxx
AI Workflow
Public
dnsLocalstar117visibility13.1K
mcp-server-gemini
一个实现Claude Desktop与Google Gemini AI模型交互的MCP服务器项目
personaliargun
AI Workflow
Public
dnsLocalstar15visibility13.1K
mcp-server-obsidian-omnisearch
一个基于FastMCP的服务，通过REST API接口提供Obsidian笔记库的搜索功能
personanpigon
AI Workflow
Public
dnsLocalstar2visibility13K
slack-mcp-host
一个集成MCP服务器与Slack的智能机器人，提供LLM驱动的交互和工具执行功能。
personjexp
AI Workflow
Public
dnsLocalstar37visibility13K
webmcp
WebMCP是一个允许网站支持客户端LLM（大型语言模型）的项目，通过本地WebSocket服务器实现网站与LLM之间的工具、资源和提示共享，无需API密钥，支持多种模型。
personjasonjmcghee
AI Workflow
Public
dnsLocalstar2visibility13K
ragflow-mcp-server
RAGFlow API MCP服务器项目，提供知识库查询和聊天功能，支持多种开发环境配置和发布流程。
personwang-junjian
AI Workflow
Public
dnsLocalstar7visibility13K
Folo RSS Reader
Folo的MCP服务器实现，支持通过环境变量配置会话令牌
personhyoban
AI Workflow
Public
dnsLocalstar0visibility13K
remarkable-mcp
这是一个reMarkable平板电脑的MCP服务器，让AI助手能够读取、搜索和遍历你的整个reMarkable库，包括通过OCR识别手写笔记，将平板变成AI可访问的“第二大脑”。
personsammorrowdrums
AI Workflow
Public
dnsLocalstar0visibility13K
obsidian-mcp
Obsidian MCP是一个通过Model Context Protocol与Obsidian知识库交互的工具，支持AI助手读写和操作笔记。
persontakuya0206
AI Workflow
Public
dnsLocalstar21visibility13K
Memgpt-MCP-Server
一个基于TypeScript的MCP服务器，为LLM提供记忆系统功能，支持多平台对话及历史记录管理。
personVic563
AI Workflow
Public
dnsLocalstar1visibility13K
Claude_MCP_Server
一个轻量级的桥梁服务，使Claude AI能够实时搜索网络。该项目基于Flask服务器，集成了Claude的高级能力和DuckDuckGo搜索，允许AI在对话中获取实时信息。
personrisherb
AI Workflow
Public
dnsLocalstar107visibility12.9K
mcp-sequentialthinking-tools
Changesets是一个用于管理多包或单包仓库版本和发布的构建工具。
personspences10
AI Workflow
Public
dnsLocalstar673visibility12.9K
ollama-mcp-bridge
一个TypeScript实现的本地LLM与MCP服务器连接的桥梁项目，使开源模型能使用Claude的工具能力
personpatruff
AI Workflow
Public
dnsLocalstar1visibility12.9K
openmanus
OpenManus是一个无需邀请码即可实现各种想法的开源项目，由MetaGPT团队成员在3小时内构建完成。它提供了一个简单的实现，允许用户创建自己的智能代理，并支持多种语言和配置。项目欢迎建议、贡献和反馈，未来计划包括更好的规划、实时演示、回放功能、RL微调模型和全面的基准测试。
persontinninhi
AI Workflow
Public
dnsLocalstar12visibility12.9K
AI Humanizer
AI Humanize MCP Server是一个强大的模型上下文协议服务器，专注于将AI生成的内容优化为更自然、更人性化的文本。
persontext2go
AI Workflow
Public
dnsLocalstar0visibility12.9K
autodesk-revit-mcp-server
这是一个用于Autodesk Revit的MCP服务器，通过自然语言控制实现AI代理与Revit软件的交互，提供超过100个API工具，支持文档管理、模型创建、视图操作等功能。
personsam-aec
AI Workflow
Public
dnsLocalstar29visibility12.9K
rulego-server
RuleGo-Server是一个基于RuleGo的轻量级、高性能、模块化的自动化工作流平台，支持可视化编排、热更新、AI支持及多租户，适用于iPaaS、API编排、IoT规则引擎等多种场景。
personrulego
AI Workflow