2 个#logic MCP 服务器和客户端

以下 MCP 服务器和客户端均标记为 #logic——安装后即可让 Claude、Cursor、VS Code 等支持 MCP 的客户端获得 logic 相关能力。

MCP-Logic

angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

创建于去年

Neo Mcp Logic Analyze

giseldo

Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.

创建于 3个月前

常见问题

什么是 #logic MCP 服务器？: 标记为 #logic 的 MCP 服务器实现了 Model Context Protocol，让 Claude、Cursor、VS Code 等 AI 助手可以访问 logic 相关的工具、数据或 API。
标记为 #logic 的 MCP 服务器和客户端有多少个？: mcp.so 目前收录了 2 个标记为 #logic 的 MCP 服务器和客户端。
如何安装 #logic MCP 服务器？: 打开下方任意服务器页面，将安装配置复制到 Claude Desktop、Cursor、VS Code 或其他 MCP 客户端的配置中即可——远程服务器无需单独下载。