工具 MCP 服务HOT 分类热门最新选型清单对比指南

工具 MCP 服务HOT 分类热门最新选型清单对比

开发者工具/

mcp-logic

mcp-logic

活跃·★ 47·MIT·更新于 2026-08-15

MCP-Logic是一个使用Prover9和Mace4进行自动化一阶逻辑推理的MCP服务器。它提供定理证明、模型发现、反例生成、语法验证、范畴推理、命题偶然性检查和溯因推理。所有依赖项自动安装。

#人工智能#claude-3-5-sonnet#大语言模型#logic#MCP 服务器#server#tool

© 2026 AgentIndex.app|由十年 iOS 开发者构建。

按场景挑选关于我们联系我们广告合作隐私政策使用条款 QYS GitHub 请作者喝咖啡 ☕

按分类浏览

MCP 服务器代码助手工作流自动化 RAG / 知识库多智能体浏览器自动化大模型基础设施开发者工具可观测性

与 Anthropic, OpenAI 或 Microsoft 无关。

指南

$ 安装

$ git clone https://github.com/angrysky56/mcp-logic && cd mcp-logic && ./linux-setup-script.sh

↗ 访问官网 ★ GitHub

01

功能特性

01使用Prover9进行定理证明

02使用Mace4进行模型发现

03反例查找

04语法验证，带有详细的错误信息

05基于变分自由能的溯因推理

02

兼容性

Linux

Linux安装脚本

已通过文档验证

macOS

macOS安装脚本

已通过文档验证

Windows

Windows安装脚本

已通过文档验证

Claude Desktop

Claude Desktop MCP集成

已通过文档验证

03

快速开始

1

$ git clone https://github.com/angrysky56/mcp-logic

2

$ cd mcp-logic

3

$ ./linux-setup-script.sh

04

使用场景

↳证明逻辑定理，例如：'所有x（人(x)→有死(x)），苏格拉底是人 ⊢ 苏格拉底有死'

↳分析命题的偶然性，例如：'(p→q)∨(q→p)'是重言式

↳发现反例，例如：从前提出'P(a)'和结论'P(b)'，证明结论不成立

05

同类工具

⚡热门对决:

VSapple-books-mcp★62→VSgit-mcp-server★242→VSai-mate★42→

评论

登录后发表评论

暂无评论，来发表第一条吧

本页内容

01功能特性 02兼容性 03快速开始 04使用场景 05同类工具

VS

codelogic-mcp-server

★37

→

apple-books-mcp★ 62

一个用于Apple Books的Model Context Protocol (MCP) 服务器，允许通过AI助手查询和管理图书数据。

git-mcp-server★ 242

一个为AI代理设计的Git MCP服务器，支持STDIO和Streamable HTTP传输。

一个为AI助手提供标准工具集以与PHP（含Symfony）应用交互的MCP服务器开发组件。

codelogic-mcp-server★ 37

一个利用CodeLogic丰富的软件依赖数据的MCP服务器，用于AI编程助手。

blockrun-mcp★ 392

AI代理的支付层。

mcp-ts-core★ 152

用于构建模型上下文协议 (MCP) 服务器的 TypeScript 框架，提供声明式工具/资源/提示定义、可插拔认证、多后端存储、OpenTelemetry 可观测性，并支持本地和边缘运行时。

mcp-stata★ 88

一个将AI智能体连接到本地Stata安装的模型上下文协议（MCP）服务器。

prospectio-api-mcp★ 21

基于FastAPI的线索挖掘应用，实现了模型上下文协议（MCP），采用整洁架构设计。

查看全部替代品 →

mcp-logic

↗

一个基于Prover9和Mace4的自动化一阶逻辑推理MCP服务器。

47MIT

最后更新2个月前

状态活跃

分类开发者工具

链接

文档↗讨论↗问题↗版本↗

推荐云部署

Ad

在 DigitalOcean 上一键部署

为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。

立即领取 $200 免费额度