MCP 리즈너

Claude Desktop을 위한 체계적 추론 MCP 서버 구현으로, 빔 검색과 몬테카를로 트리 검색(MCTS) 기능을 모두 갖추고 있습니다.

특징

• 이중 검색 전략:
  • 구성 가능한 폭을 갖춘 빔 검색
  • 복잡한 의사결정 공간을 위한 MCTS
• 생각 채점 및 평가
• 트리 기반 추론 경로
• 추론 과정의 통계적 분석
• MCP 프로토콜 준수

설치

지엑스피1

구성

Claude Desktop 구성에 추가:

검색 전략

빔 검색

• 가장 유망한 경로의 고정 너비 세트를 유지합니다.
• 단계별 추론에 최적
• 가장 적합한 대상: 수학 문제, 논리 퍼즐

몬테카를로 트리 검색

• 의사결정 공간의 시뮬레이션 기반 탐색
• 탐사와 개발의 균형을 이룹니다
• 가장 적합한 대상: 결과가 불확실한 복잡한 문제

참고: 몬테카를로 트리 탐색을 통해 클로드는 Arc AGI 벤치마크에서 매우 좋은 성적을 거두었습니다(공개 테스트에서 10점 만점에 6점). 반면 빔 탐색은 같은 퍼즐에서 10점 만점에 3점을 받았습니다. 매우 복잡한 작업의 경우, 클로드에게 빔 탐색 대신 MCTS 전략을 사용하도록 지시하는 것이 좋습니다.

알고리즘 세부 정보

1. 검색 전략 선택
   • 빔 검색: 여러 솔루션 경로를 평가하고 순위를 매깁니다.
   • MCTS: 노드 선택 및 무작위 롤아웃을 위해 UCT를 사용합니다.
2. 생각 점수 기준:
   • 세부 수준
   • 수학적 표현
   • 논리적 커넥터
   • 부모-자녀 관계의 힘
3. 프로세스 관리
   • 트리 기반 상태 추적
   • 추론의 통계적 분석
   • 진행 상황 모니터링

사용 사례

• 수학 문제
• 논리 퍼즐
• 단계별 분석
• 복잡한 문제 분해
• 의사결정 트리 탐색
• 전략 최적화

향후 구현

• 새로운 알고리즘 구현
  • 반복적 심화 깊이 우선 탐색(IDDFS)
  • 알파-베타 가지치기

특허

이 프로젝트는 MIT 라이선스에 따라 라이선스가 부여되었습니다. 자세한 내용은 라이선스 파일을 참조하세요.