智能体创建工具

Name: 智能体创建工具
Author: aha-ljx

一个基于MCP server规范的智能体创建工具，适用于人工智能导论课程的学习和实践。

在 GitHub 查看 aha-ljx/AI-introduction-MCPServer-homework

使用说明

华科人工智能导论课作业-创建智能体使用MCP server规范 docs里面存储了教程

MCP-Logic是一款自动化一阶逻辑推理服务器，集成了Prover9、Mace4和内置推理LLM，适用于定理证明、模型查找和自然语言逻辑问题解答。

MindsHub 是一个开源智能体工作空间，用于完成研究、分析、内容创作和软件开发，支持多模型路由、数据连接和自动化工作流。

Damn Vulnerable Model Context Protocol (DVMCP) 是一个专门设计用于教育目的的漏洞模型协议实现，通过10个难度递增的挑战展示MCP实现中的安全漏洞，适用于安全研究人员、开发人员和AI安全专业人员学习和研究。

一个社区维护的AI代理技能索引，收录适用于Claude Code、Codex、Gemini CLI等工具的SKILL.md技能文件，让AI助手按需学习新能力。

基于JSXGraph的MCP协议服务器，提供13种数学可视化工具，适用于教育数学、工程和科学应用。

Cherry Studio是一款跨平台AI桌面工作站，集多模型对话、智能体、知识库、图像生成和任务自动化于一体，适用于个人与团队的日常AI工作流。