AgentIndex icon
AgentIndex
工具分类热门最新对比
提交工具
首页/
Dev Tooling/
mcp-logic
mcp-logic logo

mcp-logic

活跃·★ 43·MIT·更新于 2026-05-01
★ 时下流行★ 可观测性

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

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

#人工智能#claude-3-5-sonnet#大语言模型#logic#MCP 服务器#MCP 服务器#server#tool
$ 安装
$ 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

同类工具

fastmcp logo
fastmcp★ 25.4k
FastMCP 是一个用于连接大型语言模型 (LLM) 到工具和数据的 Python 框架，旨在简化从原型到生产的 MCP (Model Context Protocol) 应用开发。
vs →
MCP-Chinese-Getting-Started-Guide logo
MCP-Chinese-Getting-Started-Guide★ 3.5k
模型上下文协议（MCP）是一个创新的开源协议，旨在标准化大语言模型与外部数据源和工具的交互，实现信息的无缝访问和处理。
vs →
FunASR logo
FunASR★ 16.6k
FunASR 是一个基础的端到端语音识别工具包，提供工业级的语音识别能力，比 Whisper 快 170 倍，并支持 50 多种语言。
vs →
nuclear logo
nuclear★ 17.7k
Nuclear是一款免费、开源、无广告和无追踪的音乐播放器，支持搜索歌曲、创建播放列表并在Windows、macOS和Linux上运行。
vs →
semble logo
semble★ 4.5k
Semble 是一个为智能体（agents）构建的快速准确的代码搜索库。
vs →
initrunner logo
initrunner★ 38
InitRunner 是一个开源框架，允许你通过单个 YAML 文件从原型到生产全过程地定义、交互、运行和部署 AI 代理。
vs →
thunderbit-mcp-server logo
thunderbit-mcp-server★ 13
AI 驱动的网页抓取和结构化数据提取工具包，提供 CLI、MCP 服务器和 Claude Code 插件
vs →
ninjaone-mcp logo
ninjaone-mcp★ 16
通过 MCP 将 AI 助手连接至 NinjaOne IT 管理平台的服务器
vs →
查看全部替代品 →

相关搜索

mcp-logic 替代工具最佳 Dev Tooling 工具 2026开源 Dev Toolingmcp-logic 教程mcp-logic 对比aiclaude-3-5-sonnetllm

评论

登录后发表评论
  • C
    Cameron Garcia2026年5月16日

    Good for researchers who need automated theorem proving integrated with LLM workflows

  • M
    Morgan White2026年5月11日

    Used for formal verification workflows in safety-critical systems development

  • D
    Dylan Harris2026年4月7日

    The Python MCP wrapper makes theorem proving accessible without direct Prover9 experience

  • P
    Phoenix Brown2026年3月22日

    Prover9/Mace4 integration via MCP brings formal logic verification to AI workflows

本页内容
01功能特性02兼容性03快速开始04使用场景05同类工具
统计
GitHub Stars★ 43
最后更新4周前
状态活跃
许可证MIT
分类开发者工具
热度趋势 (30d)
+1.7↑ 0.7%
链接
文档↗讨论↗问题↗版本↗

Deploy on DigitalOcean — Get $200 Free Credit

Ad
© 2026 AgentIndex.app|由十年 iOS 开发者构建。
QYSGitHub请作者喝咖啡 ☕

按分类浏览

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

与 Anthropic, OpenAI 或 Microsoft 无关。