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 precedencedate_calculate
执行数据运算并进行计算验证
Input: base_date="2023-01-15", offset_days=7, format="MM/DD/YYYY"
Output: Verified date calculation with breakdownobject_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 trackingsystematic_verify
将6步系统推理协议应用于任何问题
Input: problem="Complex reasoning task", problem_type="boolean"
Output: Structured reasoning frameworkformat_validate
验证答案格式并转换为预期格式
Input: answer="True", expected_format="boolean"
Output: Format-validated answer📊 性能影响
- 布尔逻辑：100%准确率，经过计算验证
- 日期计算：基于工具的算法具有100%的精度
- 对象计数：系统分类可防止错误
- 格式匹配：消除演示错误
- 总体标准化考试提高29.7个百分点
🔧 安装
- 克隆并安装：
git clone https://github.com/your-username/mcp-reasoning-tools.git
cd mcp-reasoning-tools
npm install- 添加到Claude桌面配置：
{
"mcpServers": {
"reasoning-tools": {
"command": "node",
"args": ["/path/to/mcp-reasoning-tools/src/index.ts"]
}
}
}- 重新启动克劳德桌面
🎯 使用示例
布尔求值
// 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工具
- 补充代码执行和网络搜索工具
- 为计算任务提供验证层
- 复杂问题的系统推理框架
与大脑系统
- 存储持久性推理协议
- 随着时间的推移跟踪性能改进
- 学习成功的工具使用模式
🤝 贡献
- 分叉存储库
- 创建要素分支：
git checkout -b feature/enhancement - 添加新功能的测试
- 提交带有详细描述的拉取请求
📄 许可证
MIT许可证-有关详细信息，请参阅许可证文件
🔗 相关项目
______________________________________________________________________
🎯 用系统的计算推理来改变你的代理能力！