MCP Solver의 개요
Stefan Szeider가 만든 MCP Solver는 Claude Desktop이나 Claude Code 같은 MCP 호스트를 솔버 프로그래머로 바꿉니다. 호스트는 백엔드를 고르고, 모델링 지침과 솔버 라이브러리가 로드된 지속형 IPython 커널을 받아 프로그램을 작성하고, 실제 솔버로 실행하고, 답을 확인한 뒤 최종 프로그램을 제출합니다. 해답과 그 해답을 만든 코드가 모두 남습니다.
버전 4는 PySAT, MaxSAT, Z3, CPMpy, Clingo, DIDP의 6개 백엔드를 지원합니다. MIT 라이선스이며 Python으로 작성되었고, GitHub 스타는 약 187개, 마지막 커밋은 2026년 10월 13일입니다. 이전 v3 설계는 SAT 2025 논문에 기록되어 있으며 별도 브랜치에 남아 있습니다.
MCP Solver 설치 방법
git clone https://github.com/szeider/mcp-solver.git && cd mcp-solver && uv venv && uv pip install -e ".[agent]"MCP Solver, 쓸 만한 가치가 있습니까?
MCP Solver는 언어 모델이 조합 문제에서 가장 흔히 저지르는 실패, 즉 제약을 어기는 답을 추측하는 문제를 바로잡습니다. 여기서 모델은 직접 답하지 않습니다. PySAT, MaxSAT, Z3, CPMpy, Clingo, 그리고 경로와 일정 계획용 DIDP라는 6개 백엔드 중 하나에 맞는 솔버 프로그램을 작성해 실행하고, 결과를 검증한 다음에야 submit_code를 호출합니다. 결과물은 다시 실행하고 감사할 수 있는 프로그램이며, 근무표나 구성을 설명해야 하는 사람에게는 답 자체보다 이것이 더 중요합니다.
근거는 대부분의 MCP 서버보다 탄탄합니다. Claude Opus를 호 스트로 썼을 때 README는 CP-Bench(101)와 ASP-Bench(128)에서 엄격한 검증 아래 229개 중 229개 인스턴스를 정확히 풀었다고 보고하며, 함께 제공되는 30개 테스트 문제는 모두 CLI를 통해 GPT-5.6 Terra로 풀립니다. 다만 저자가 직접 만든 벤치마크에서 저자가 직접 돌린 결과이므로 독립적인 결과가 아니라 강한 신호로 읽어야 합니다. 버전 4는 재작성이기도 합니다. 세밀한 모델 편집 도구와 MiniZinc를 갖춘 v3 서버는 사라지고 커널과 6개 도구로 대체되었습니다.
주의할 점: 설치와 안전 모두 신경 써야 합니다. 제3자가 mcp-solver라는 이름으로 오래된 v2.0.0 코드를 보유하고 있어 v4는 PyPI에 없고, uvx mcp-solver는 엉뚱한 것을 설치합니다. 이름 이전 요청이 해결될 때까지는 저장소를 복제해 소스에서 설치해야 합니다. INSTALL 안내서에 따르면 v4는 macOS에서만 테스트되었습니다. 또 그 아래의 커널은 같은 저자의 agentic-python-coder에서 온 것으로, 모델이 쓴 코드를 작업 디렉터리에서 자동으로 실행합니다. 해당 프로젝트의 보안 안내는 신뢰할 수 없는 입력에는 VM이나 컨테이너를 쓰라고 권합니다.
결론: 실제 일정, 배정, 검증 문제를 안고 있는 계획 담당자, 연구자, 엔지니어에게 이것은 그럴듯한 답과 솔버가 증명한 답의 차이입니다. 복제와 컨테이너의 수고를 들일 가치가 있습니다. 패키징은 곧 따라올 것이고, 방법은 이미 탄탄합니다.
제 역할을 하는 곳
40병상 요양원의 운영 책임자
교대 규칙, 휴식 시간, 선호를 지키는 근무표 만들기
Claude에게 규칙을 설명하면 CPMpy나 MaxSAT를 골라 필수 규칙과 가중치 있는 선호를 코드로 옮기고, 솔버를 돌려 프로그램을 제출합니다. 다음 달에는 다시 프롬프트하는 대신 저장한 프로그램을 새 근무 가능 일정으로 재실행합니다.
펌웨어 엔지니어
비트 조작 루틴이 모든 입력에서 명세와 일치함을 증명하기
에이전트가 두 버전을 Z3로 인코딩하고 반례를 찾습니다. unsat 결과가 곧 증명이고, 모델이 나오면 그것이 실패하는 입력입니다. 커널이 생성된 코드를 실행하므로 컨테이너 안에서 돌립니다.
대학의 교과 운영 담당자
30개 강의를 충돌 없이 강의실에 배정하기
Clingo나 CPMpy 백엔드로 강의실, 수용 인원, 강사 충돌을 인코딩하면 제출된 프로그램이 다음 학기의 시간표 생성기가 됩니다. 호스트 모델의 토큰 비용 외에는 무료입니다.
도입 전 확인할 점
- 설정
- 저장소를 복제하고 uv venv, uv pip install -e ".[agent]"를 실행한 뒤 클라이언트를 uv run --project <경로> --extra agent mcp-solver-serve로 지정합니다. PyPI 이름 이전이 끝날 때까지 uvx 설정은 쓰지 마십시오. Python 3.13 또는 3.14와 uv가 필요합니다.
- 연동
- 백엔드: python-sat, RC2 MaxSAT, z3-solver, cpmpy(ortools 포함), clingo, didppy. 도구: select_backend, python_exec, python_reset, python_status, python_interrupt, submit_code와 안내서 및 템플릿 리소스. CLI와 벤치마크 하네스는 OpenRouter를 통해 실행됩니다.
- 데이터와 개인정보
- stdio로 로컬에서 실행됩니다. 문제 설명과 생성된 코드는 호스트의 모델 제공업체로 전송됩니다. 솔버 프로그램은 작업 디렉터리의 로컬 IPython 커널에서 샌드박스 없이 실행되며, 선택적 통계는 사용자가 지정한 JSONL 파일에 기록됩니다.
- 대규모 사용 시 비용
- MIT로 무료입니다. 비용은 호스트 모델의 토큰이며, CLI 실행은 OpenRouter 사용료가 자신의 키로 청구됩니다.
- 제한
- 각 CLI 실행은 기본적으로 에이전트 30단계 후 멈춥니다. ortools와 python-sat가 해당 버전용 패키지를 내지 않아 아직 Python 3.15를 지원하지 않습니다. 폭주하는 풀이는 python_interrupt로 멈출 수 있습니다.
좋은 점
- SAT부터 동적 계획법까지 6개 솔버 백엔드
- 검증되고 다시 실행할 수 있는 솔버 프로그램이 남음
- 저자 실행에서 벤치마크 229개 중 229개 해결
- API 키 불필요, 호스트의 모델이 풂
아쉬운 점
- PyPI로 설치 불가, 해당 이름에는 오래된 v2.0.0 코드
- v4는 아직 macOS에서만 테스트됨
- 커널이 모델이 쓴 코드를 샌드박스 없이 실행
- Python 3.13 또는 3.14와 uv 필요
추천 대상
에이전트가 실제 솔버로 일정, 배정, 구성, 검증 문제를 풀고 그 프로그램을 보관하길 원하는 운영 연구 전문가, 엔지니어, 분석가.
MCP Solver 대안
MCP Solver: 자주 묻는 질문
- MCP Solver, 쓸 만한 가치가 있습니까?
- 모델이 머릿속으로 풀어서는 안 되는 일정 짜기와 퍼즐 문제에 맞는 접근이지만, 지금은 저장소에서만 설치할 수 있다는 점과 모델이 쓴 코드를 무엇이든 실행하는 커널이 발목을 잡습니다. 평점은 5점 만점에 3.9점입니다.
- MCP Solver의 가격은 얼마입니까?
- 무료 오픈 소스(MIT). 서버에는 API 키가 필요 없으며, 선택 사항인 CLI는 자신의 OpenRouter 키를 사용합니다.
- MCP Solver의 단점은 무엇입니까?
- PyPI로 설치 불가, 해당 이름에는 오래된 v2.0.0 코드; v4는 아직 macOS에서만 테스트됨; 커널이 모델이 쓴 코드를 샌드박스 없이 실행; Python 3.13 또는 3.14와 uv 필요.
- MCP Solver에 적합한 사람은 누구입니까?
- 에이전트가 실제 솔버로 일정, 배정, 구성, 검증 문제를 풀고 그 프로그램을 보관하길 원하는 운영 연구 전문가, 엔지니어, 분석가.
- 팀이나 프로덕션 환경에서 MCP Solver의 비용은 얼마입니까?
- MIT로 무료입니다. 비용은 호스트 모델의 토큰이며, CLI 실행은 OpenRouter 사용료가 자신의 키로 청구됩니다.
- MCP Solver에 회사 데이터를 맡겨도 안전합니까?
- stdio로 로컬에서 실행됩니다. 문제 설명과 생성된 코드는 호스트의 모델 제공업체로 전송됩니다. 솔버 프로그램은 작업 디렉터리의 로컬 IPython 커널에서 샌드박스 없이 실행되며, 선택적 통계는 사용자가 지정한 JSONL 파일에 기록됩니다.
- MCP Solver의 가장 좋은 대안은 무엇입니까?
- 저희가 리뷰한 것 중 가장 가까운 대안은 Lean LSP MCP 및 Sequential Thinking (reference server)입니다.
답변 확인일: 2026년 11월 7일.