A
securityA
licenseA
qualityA systematic reasoning MCP server implementation for Claude Desktop with beam search and thought evaluation capabilities
Last updated -
1
143
TypeScript
MIT License
MCP 推理器
针对 Claude Desktop 的系统推理 MCP 服务器实现，具有 Beam Search 和 Monte Carlo Tree Search (MCTS) 功能。
特征
- 双重搜索策略：
- 可配置宽度的束搜索
- 适用于复杂决策空间的 MCTS
- 思想评分与评估
- 基于树的推理路径
- 推理过程的统计分析
- MCP 协议合规性
安装
配置
添加到 Claude 桌面配置：
搜索策略
定向搜索
- 维护一组固定宽度的最有希望的路径
- 最适合逐步推理
- 最适合：数学问题、逻辑谜题
蒙特卡洛树搜索
- 基于模拟的决策空间探索
- 平衡探索与开发
- 最适合：结果不确定的复杂问题
**注意：**蒙特卡洛树搜索 (MCTS) 让 Claude 在 Arc AGI 基准测试中表现非常出色（公开测试得分 6/10），而定向搜索 (beam search) 在相同谜题中得分仅为 3/10。对于极其复杂的任务，建议 Claude 使用 MCTS 策略，而非定向搜索。
算法细节
- 搜索策略选择
- 定向搜索：评估并排序多个解决方案路径
- MCTS：使用 UCT 进行节点选择和随机部署
- 思考评分依据：
- 细节级别
- 数学表达式
- 逻辑连接器
- 亲子关系强度
- 流程管理
- 基于树的状态跟踪
- 推理的统计分析
- 进度监控
用例
- 数学问题
- 逻辑谜题
- 逐步分析
- 复杂问题分解
- 决策树探索
- 策略优化
未来实施
- 实现新算法
- 迭代加深深度优先搜索（IDDFS）
- Alpha-Beta 剪枝
执照
该项目根据 MIT 许可证获得许可 - 有关详细信息，请参阅LICENSE文件。
You must be authenticated.
Tools
用于 Claude Desktop 的系统推理 MCP 服务器，具有 Beam Search 和 Monte Carlo Tree Search 功能，可促进复杂的问题解决和决策过程。
Related Resources
Related MCP Servers
- AsecurityAlicenseAqualityAn adaptation of the MCP Sequential Thinking Server designed to guide tool usage in problem-solving. This server helps break down complex problems into manageable steps and provides recommendations for which MCP tools would be most effective at each stage.Last updated -1553151TypeScriptMIT License
- -securityAlicense-qualityAn MCP server that implements the 'think' tool, providing Claude with a dedicated space for structured thinking during complex problem-solving tasks to improve reasoning capabilities.Last updated -48PythonMIT License
- -securityAlicense-qualityA minimal MCP Server that provides Claude AI models with the 'think' tool capability, enabling better performance on complex reasoning tasks by allowing the model to pause during response generation for additional thinking steps.Last updated -5251TypeScriptMIT License