MCP Reasoning Tools

mcp推理工具

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

🚀 这解决了什么

此MCP服务器提供计算工具，消除代理推理中的计算错误和格式不匹配。基于突破性研究显示 58.3%的改善 超基线推理（在BIG Bench Hard评估中从28.6%上升到58.3%）。

🛠️ 核心工具

boolean_evaluate

通过逐步验证系统地评估布尔表达式

Input: "True and False or not True"
Output: Step-by-step boolean evaluation with operator precedence

date_calculate

执行数据运算并进行计算验证

Input: base_date="2023-01-15", offset_days=7, format="MM/DD/YYYY"
Output: Verified date calculation with breakdown

object_count

通过验证按类别系统地计数对象

Input: items=["bear", "snake", "microwave", "cat"], target_category="animals"
Output: Categorized count with breakdown (3 animals)

state_track

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

Input: initial_state={"Alice": "red"}, operations=[{type: "swap", participants: ["Alice", "Bob"]}]
Output: Step-by-step state tracking

systematic_verify

将6步系统推理协议应用于任何问题

Input: problem="Complex reasoning task", problem_type="boolean"
Output: Structured reasoning framework

format_validate

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

Input: answer="True", expected_format="boolean"
Output: Format-validated answer

📊 性能影响

• 布尔逻辑：100%准确率，经过计算验证
• 日期计算：基于工具的算法具有100%的精度
• 对象计数：系统分类可防止错误
• 格式匹配：消除演示错误
• 总体标准化考试提高29.7个百分点

🔧 安装

1. 克隆并安装：

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

1. 添加到Claude桌面配置：

{
  "mcpServers": {
    "reasoning-tools": {
      "command": "node",
      "args": ["/path/to/mcp-reasoning-tools/src/index.ts"]
    }
  }
}

1. 重新启动克劳德桌面

🎯 使用示例

布尔求值

// Instead of mental math: "True and False or not True"
// Use tool: boolean_evaluate({ expression: "True and False or not True" })
// Result: Systematic step-by-step evaluation with verification

日期算术

// Instead of guessing: "What's 7 days before March 31, 2023?"
// Use tool: date_calculate({ base_date: "2023-03-31", offset_days: -7 })
// Result: Verified calculation with breakdown

系统推理

// For any complex problem:
// Use tool: systematic_verify({ problem: "Complex task", problem_type: "temporal" })
// Result: 6-step reasoning protocol applied

🧪 测试

npm test          # Run test suite
npm run lint      # Check code quality
npm run dev       # Start development server

🔬 研究基金会

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

• 心算不及格 论复杂推理问题
• 计算验证 消除系统误差
• 工具增强 可以加倍代理性能
• 系统协议 提供一致的改进

📈 一体化战略

使用现有的MCP工具

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

与大脑系统

• 存储持久性推理协议
• 随着时间的推移跟踪性能改进
• 学习成功的工具使用模式

🤝 贡献

1. 分叉存储库
2. 创建要素分支： git checkout -b feature/enhancement
3. 添加新功能的测试
4. 提交带有详细描述的拉取请求

📄 许可证

MIT许可证-有关详细信息，请参阅许可证文件

🔗 相关项目

• MCP-SDK
• 大板凳硬
• 代理评估研究

______________________________________________________________________

🎯 用系统的计算推理来改变你的代理能力！