MCP Server Logical Solver

RyanNg1403/mcp-server-logical-solver

MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。

安装

客户端配置

{
  "mcpServers": {
    "mcp-logic": {
      "command": "uv",
      "args": [
        "--directory",
        "/path/to/mcp-logic/src/mcp_logic",
        "run",
        "mcp_logic",
        "--prover-path",
        "/path/to/mcp-logic/ladr/bin"
      ]
    }
  }
}

环境变量

MODEL_PROVIDERMODEL_NAMEAPI_KEY

GitHub 星标: 1
作者: @RyanNg1403
分类: 人工智能聊天机器人, 教育与学习工具
更新于: 2026年10月6日

相关 MCP 服务器

更多服务器

n8n Secure Workflow Automation for Technical Teams

n8n-io/n8n

86.7k

n8n是一个面向技术团队的工作流自动化平台，结合了代码灵活性和无代码速度，提供400+集成、原生AI功能和公平代码许可，支持自托管或云端部署。

人工智能聊天机器人

repomix

yamadashy/repomix

15.2k

Repomix是一个将代码库打包为AI友好格式的工具，支持本地和远程仓库处理，提供代码压缩、安全检查和多种输出格式。

人工智能聊天机器人

Inbox Zero AI MCP

elie222/inbox-zero

7.1k

Inbox Zero是一款开源AI邮件助手和客户端，帮助用户高效管理邮件，实现收件箱清零。

人工智能聊天机器人

figma-context-MCP

GLips/Figma-Context-MCP

Framelink Figma MCP Server是一个为AI编程工具（如Cursor）提供Figma设计数据访问的服务器，通过简化Figma API响应，帮助AI更准确地实现设计到代码的一键转换。

人工智能聊天机器人

context7

upstash/context7

4.8k

Context7 MCP是一个为AI编程助手提供实时、版本特定文档和代码示例的服务，通过Model Context Protocol直接集成到提示中，解决LLM使用过时信息的问题。

人工智能聊天机器人

MCP Go

mark3labs/mcp-go

4.2k

MCP Go 是一个 Go 语言实现的模型上下文协议（MCP）服务端框架，用于连接 LLM 应用与外部数据源和工具。它提供了资源管理、工具调用、提示模板等核心功能，支持会话管理和中间件扩展。

人工智能聊天机器人

MCP Server Logical Solver

安装

客户端配置

环境变量

标签

相关 MCP 服务器

n8n Secure Workflow Automation for Technical Teams

repomix

Inbox Zero AI MCP

figma-context-MCP

context7

MCP Go