逻辑推理服务器by angrysky56 · PythonMCP-Logic是一款自动化一阶逻辑推理服务器,集成了Prover9、Mace4和内置推理LLM,适用于定理证明、模型查找和自然语言逻辑问题解答。开发效率47个 GitHub 星标
SEC数据交互服务by flothjl · Pythonedgar-sec-mcp是一个MCP服务器,旨在帮助AI代理访问和交互SEC的EDGAR数据,提供工具、端点及数据处理实用程序,以简化SEC文件的检索和分析。金融服务5个 GitHub 星标
AI代理技能索引by heilcheng · TypeScript一个社区维护的AI代理技能索引,收录适用于Claude Code、Codex、Gemini CLI等工具的SKILL.md技能文件,让AI助手按需学习新能力。开发效率6321个 GitHub 星标
房间协议命令行工具by agree-able · JavaScript一个用于在点对点空间中创建虚拟房间以完成目标的命令行工具,支持模型上下文协议(MCP)与房间协议集成。开发效率23个 GitHub 星标
语言模型增强服务器by xiaozhch5 · PythonChatData MCP服务器是一个基于Model Control Protocol (MCP)的服务应用程序,提供工具集和提示系统以增强大型语言模型的能力,适用于开发者和研究人员。开发效率3个 GitHub 星标