El Asistente de Desarrollo de Aplicaciones (AppDev Assistant) es una herramienta que combina inteligencia artificial y contexto para ayudarte a desarrollar aplicaciones móviles y multiplataforma. Utiliza el framework MCP-Agent para integrar diferentes herramientas y servicios que pueden ayudarte en todas las fases del desarrollo de aplicaciones.
MCP-Logic是一款自动化一阶逻辑推理服务器，集成了Prover9、Mace4和内置推理LLM，适用于定理证明、模型查找和自然语言逻辑问题解答。
一个社区维护的AI代理技能索引，收录适用于Claude Code、Codex、Gemini CLI等工具的SKILL.md技能文件，让AI助手按需学习新能力。
horizOn MCP Server 是将 horizOn 后端即服务（BaaS）封装为 MCP 接口的服务，为 AI 编程助手提供游戏与应用开发所需的文档资源、实时 API 工具和工作流提示。
一个融合LLM和MCP架构的AI驱动IT运维平台，提供智能监控、异常检测和自然语言交互功能，具备企业级安全性和可扩展性。
一个完整的SEP-1865 MCP应用实现，展示所有API和功能，用于开发交互式小部件。
一个完整的模型上下文协议(MCP)实现，使用自然语言查询搜索arXiv论文，由Claude提供支持。
