K Map MCP

带有GPT-4o集成的K-Map求解器

一个全面的卡诺图（K-Map）求解器，与OpenAI的GPT-4o模型集成，通过自然语言交互实现智能布尔代数简化。

备注：本项目基于原始 KMapSolver 由salmanmorshed发布，其许可证为GNU通用公共许可证v2.0。此增强版本增加了GPT-4o集成和MCP服务器功能，同时保留了核心K-Map求解功能。

特性

• 多变量支持：求解2、3和4个变量K-Maps
• 人工智能集成：由GPT-4o提供支持，用于智能问题理解
• 双接口：GUI和MCP API接口
• 视觉输出：提供格式化的K-Map可视化
• 教育的：包括详细的解释和使用指南

快速开始

python working_gpt_client.py

安装

1. 克隆存储库：

git clone https://github.com/Iamlixinzhao/K-Map-MCP.git
cd KMapSolver

1. 安装依赖项：

pip install -r requirements.txt

1. 在代码文件中设置OpenAI API密钥：

OPENAI_API_KEY = "your-api-key-here"

使用示例

基本K-Map求解

User: "Help me solve this 2-variable K-Map: [[1, 0], [0, 1]]"
GPT-4o: Returns simplified Boolean expression 

知识查询

User: "What is a K-Map?"
GPT-4o: Provides detailed explanation and usage instructions

复杂问题

User: "Solve this 3-variable K-Map: [[1, 0, 0, 1], [0, 1, 1, 0]]"
GPT-4o: Analyzes and returns optimized solution

项目结构

KMapSolver/
├── main.py                    # Original GUI program
├── guis.py                    # GUI interface code
├── solvers.py                 # Core K-Map solving algorithms
├── helpers.py                 # Helper functions
├── mcp_server.py              # MCP server implementation
├── simple_gpt_test.py         # Simplified GPT integration test
├── openai_kmap_client.py      # Full OpenAI integration
├── start_gpt_kmap.py          # Interactive launcher
├── test_mcp.py                # MCP server test
├── requirements.txt           # Python dependencies
├── kmap-solver.json          # MCP configuration
├── README.md                 # This file
├── README_MCP.md             # MCP server documentation
├── GPT_Integration_Guide.md   # GPT integration guide
└── GUI_vs_MCP_Comparison.md  # Interface comparison

MCP服务器工具

MCP服务器提供以下工具：

• solve_kmap_2：求解2变量K-Maps（2x2矩阵）
• solve_kmap_3：求解3变量K-Maps（2x4矩阵）
• solve_kmap_4：求解4变量K-Maps（4x4矩阵）
• get_kmap_info：获取详细的K-Map信息和使用指南

输入格式

K-Map数据应以矩阵形式提供：

• 2个变量：2x2矩阵 [[1, 0], [0, 1]]
• 3个变量：2x4矩阵 [[1, 0, 0, 1], [0, 1, 1, 0]]
• 4个变量：4x4矩阵

价值观：

• 0错误的
• 1：正确
• 2：不在乎（X）

例子

2-变量K-Map

输入： [[1, 0], [0, 1]] 输出： F(A,B) = A'B + AB'

三变量K-Map

输入： [[1, 0, 0, 1], [0, 1, 1, 0]] 输出： F(A,B,C) = A'B'C' + A'BC + AB'C + ABC'

建筑

GUI界面

• 交互式图形界面
• 实时可视化
• 通过点击手动输入
• 即时反馈

MCP API接口

• 程序化API调用
• 基于文本的输出
• 自动处理
• 集成能力

GPT-4o集成

• 自然语言理解
• 智能刀具选择
• 情境反应
• 教育解释

依赖项

• wxPython：GUI框架
• openai：OpenAI API客户端
• mcp：模型上下文协议
• asyncio：异步编程

贡献

1. 分叉存储库
2. 创建要素分支
3. 进行更改
4. 如果适用，添加测试
5. 提交拉取请求

许可证

此项目根据GNU通用公共许可证v2.0（GPL-2.0）获得许可-有关详细信息，请参阅License.txt文件。

致谢

该项目基于原始的K-Map求解器实现 沙门氏菌，根据GNU通用公共许可证v2.0获得许可。

原始项目

• 源:
• 原作者：沙门氏菌
• 原始许可证：GNU通用公共许可证v2.0

额外致谢

• 用于人工智能集成的OpenAI GPT-4o API
• 模型上下文协议（MCP）规范
• wxPython图形用户界面框架

支持

对于问题和疑问：

1. 检查文档文件
2. 查看示例用法
3. 首先使用简化版本进行测试
4. 在GitHub上打开一个问题

______________________________________________________________________

备注：在运行GPT集成功能之前，请确保设置了OpenAI API密钥。