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 서버 구현으로, 빔 검색과 몬테카를로 트리 검색(MCTS) 기능을 모두 갖추고 있습니다.
특징
- 이중 검색 전략:
- 구성 가능한 폭을 갖춘 빔 검색
- 복잡한 의사결정 공간을 위한 MCTS
- 생각 채점 및 평가
- 트리 기반 추론 경로
- 추론 과정의 통계적 분석
- MCP 프로토콜 준수
설치
지엑스피1
구성
Claude Desktop 구성에 추가:
검색 전략
빔 검색
- 가장 유망한 경로의 고정 너비 세트를 유지합니다.
- 단계별 추론에 최적
- 가장 적합한 대상: 수학 문제, 논리 퍼즐
몬테카를로 트리 검색
- 의사결정 공간의 시뮬레이션 기반 탐색
- 탐사와 개발의 균형을 이룹니다
- 가장 적합한 대상: 결과가 불확실한 복잡한 문제
참고: 몬테카를로 트리 탐색을 통해 클로드는 Arc AGI 벤치마크에서 매우 좋은 성적을 거두었습니다(공개 테스트에서 10점 만점에 6점). 반면 빔 탐색은 같은 퍼즐에서 10점 만점에 3점을 받았습니다. 매우 복잡한 작업의 경우, 클로드에게 빔 탐색 대신 MCTS 전략을 사용하도록 지시하는 것이 좋습니다.
알고리즘 세부 정보
- 검색 전략 선택
- 빔 검색: 여러 솔루션 경로를 평가하고 순위를 매깁니다.
- MCTS: 노드 선택 및 무작위 롤아웃을 위해 UCT를 사용합니다.
- 생각 점수 기준:
- 세부 수준
- 수학적 표현
- 논리적 커넥터
- 부모-자녀 관계의 힘
- 프로세스 관리
- 트리 기반 상태 추적
- 추론의 통계적 분석
- 진행 상황 모니터링
사용 사례
- 수학 문제
- 논리 퍼즐
- 단계별 분석
- 복잡한 문제 분해
- 의사결정 트리 탐색
- 전략 최적화
향후 구현
- 새로운 알고리즘 구현
- 반복적 심화 깊이 우선 탐색(IDDFS)
- 알파-베타 가지치기
특허
이 프로젝트는 MIT 라이선스에 따라 라이선스가 부여되었습니다. 자세한 내용은 라이선스 파일을 참조하세요.
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