mcp-reasoning-tools

🧠 工具增强推理MCP服务器，用于系统计算验证和提升代理能力

🚀 解决的问题

此MCP服务器提供计算工具，消除代理推理中的计算错误和格式不匹配问题。基于突破性研究显示，与基准推理相比有58.3%的改进（从28.6%提高到58.3%，在BIG-Bench Hard评估中）。

🛠️ 核心工具

boolean_evaluate

系统地评估布尔表达式，并进行逐步验证

输入: "True and False or not True"
输出: 带运算符优先级的逐步布尔评估

date_calculate

执行日期算术运算并进行计算验证

输入: base_date="2023-01-15", offset_days=7, format="MM/DD/YYYY"
输出: 验证过的日期计算结果及详细步骤

object_count

按类别系统地计数对象并进行验证

输入: items=["熊", "蛇", "微波炉", "猫"], target_category="动物"
输出: 分类计数结果及详细步骤（3个动物）

state_track

通过一系列交换/移动跟踪对象的位置

输入: 初始状态={"爱丽丝": "红色"}, 操作=[{类型: "交换", 参与者: ["爱丽丝", "鲍勃"]}]
输出: 逐步状态跟踪

systematic_verify

对任何问题应用六步系统推理协议

输入: 问题="复杂的推理任务", 问题类型="布尔"
输出: 结构化的推理框架

format_validate

验证答案格式并转换为预期格式

输入: 答案="True", 预期格式="布尔"
输出: 格式验证后的答案

📊 性能影响

• 布尔逻辑：计算验证后达到100%准确率
• 日期计算：工具辅助算术运算后达到100%准确率
• 对象计数：系统分类防止错误
• 格式匹配：消除展示错误
• 总体：在标准化测试中提高了29.7个百分点

🔧 安装

1. 克隆并安装：

git clone https://github.com/your-username/mcp-reasoning-tools.git
cd mcp-reasoning-tools
npm install

2. 添加到Claude Desktop配置：

{
  "mcpServers": {
    "reasoning-tools": {
      "命令": "node",
      "参数": ["/路径/to/mcp-reasoning-tools/src/index.ts"]
    }
  }
}

3. 重启Claude Desktop

🎯 使用示例

布尔评估

// 不用心算："True and False or not True"
// 使用工具：boolean_evaluate({ 表达式: "True and False or not True" })
// 结果：带验证的逐步评估

日期算术

// 不用猜测："2023年3月31日之前7天是哪一天？"
// 使用工具：date_calculate({ base_date: "2023-03-31", offset_days: -7 })
// 结果：带验证的计算结果及详细步骤

系统推理

// 对于任何复杂问题：
// 使用工具：systematic_verify({ 问题: "复杂任务", 问题类型: "时间" })
// 结果：应用了六步推理协议

🧪 测试

npm test          # 运行测试套件
npm run lint      # 检查代码质量
npm run dev       # 启动开发服务器

🔬 研究基础

该工具基于使用BIG-Bench Hard（一个针对挑战性推理任务的标准基准）的系统化代理能力评估。关键见解：

• 心算失败于复杂推理问题
• 计算验证消除系统性错误
• 工具增强可以将代理性能翻倍
• 系统化协议提供持续改进

📈 集成策略

与现有MCP工具

• 补充代码执行和网络搜索工具
• 提供计算任务的验证层
• 复杂问题的系统推理框架

与大脑系统

• 存储推理协议以实现持久化
• 跟踪随时间的性能改进
• 从成功的工具使用模式中学习

🤝 贡献

1. 分叉仓库
2. 创建功能分支：git checkout -b feature/enhancement
3. 为新功能添加测试
4. 提交包含详细描述的拉取请求

📄 许可证

MIT许可证 - 查看LICENSE文件获取详情

🔗 相关项目

• MCP SDK
• BIG-B-ench Hard
• 代理评估研究

---

🎯 通过系统计算推理提升您的代理能力！