quint-mcp
v0.1.0
Published
MCP server for systematic debugging, TDD workflows, and knowledge asset management
Downloads
5
Maintainers
Readme
Quint MCP Server
AI에게 작업을 위임할 때 검증된 프로세스를 강제하여 고품질 결과를 보장하고, 모든 개발 과정을 자산으로 축적하는 지식 관리 시스템.
핵심 철학
1. Process Enforcement (프로세스 강제)
- 5단계 디버깅, TDD 사이클 등 검증된 워크플로우를 강제
- 단계별 체크포인트 필수
- AI가 단계를 건너뛸 수 없음
2. Assetization First (자산화 우선)
- 모든 의사결정, 트레이드오프, 실패한 시도를 자동 기록
- 휘발성 대화가 아닌 영구적 지식 자산
- 타임라인 기반 세션 기록 + 인덱스형 검색
3. Local First (로컬 우선)
.quint/assets/폴더에 모든 자산 저장- 중계 서버 불필요
- 클라우드 동기화는 Phase 2
빠른 시작
설치
bun add -g quint-mcp또는 로컬에서 개발:
git clone https://github.com/yourusername/quint-mcp.git
cd quint-mcp
bun install
bun run buildOpenCode 설정
.opencode/mcp.json:
{
"mcpServers": {
"quint": {
"command": "bunx",
"args": ["quint-mcp"],
"env": {
"QUINT_ASSETS_DIR": "${workspaceFolder}/.quint/assets"
}
}
}
}Claude Desktop 설정
~/Library/Application Support/Claude/claude_desktop_config.json:
{
"mcpServers": {
"quint": {
"command": "bunx",
"args": ["quint-mcp"],
"env": {
"QUINT_ASSETS_DIR": "/path/to/project/.quint/assets"
}
}
}
}사용 예시
시나리오 1: 디버깅 (5단계 강제)
User: API에서 500 에러가 나요
AI: enforce_workflow를 호출하여 디버깅 세션을 시작하겠습니다.
[Tool: enforce_workflow({ workflowType: "debug", problem: "API 500 에러" })]
AI: 5단계 디버깅을 시작합니다.
세션 ID: 2026-01-23-api-500-debug
=== 1단계: 문제 정의 ===
1. 정확히 어떤 API 엔드포인트에서 발생하나요?
2. 언제부터 발생했나요?
3. 재현 가능한가요?
User: /users API에서 발생하고, 오늘 아침부터, 항상 재현됩니다.
AI: [Tool: save_quint_asset + checkpoint_workflow]
1단계 완료. 2단계로 진행합니다.
=== 2단계: 환경 분석 ===
로그를 공유해주세요.
...시나리오 2: TDD 기능 개발
User: 로그인 기능을 추가하고 싶어요
AI: [Tool: enforce_workflow({ workflowType: "feature", problem: "로그인 기능" })]
=== 1단계: Specification ===
로그인 기능의 입출력을 정의해주세요:
- 입력: 무엇을 받나요? (email, password?)
- 출력: 성공 시 무엇을 반환하나요? (token?)
- 엣지 케이스: 실패 시나리오는?
User: email, password 입력 받고, JWT 토큰 반환. 실패 시 401.
AI: [Tool: checkpoint_workflow]
=== 2단계: RED (실패하는 테스트) ===
테스트를 먼저 작성하겠습니다:
[테스트 코드 생성]
이제 이 테스트를 실행해주세요. 실패 결과를 보여주셔야 3단계로 진행할 수 있습니다.MCP Tools
enforce_workflow
새 워크플로우 세션 시작 (debug, feature, refactor)
checkpoint_workflow
단계 완료 체크포인트 (증거 필수)
save_quint_asset
자산 저장 (session, solution, decision, pattern)
search_quint_assets
과거 자산 검색
reflect
현재 세션 분석 및 과거 경험 제안
자산 구조
.quint/assets/
├── sessions/ # 타임라인 기록
│ └── 2026-01-23-api-500-debug/
│ ├── metadata.yaml
│ ├── stage-1-definition.md
│ ├── stage-2-environment.md
│ ├── stage-3-hypotheses.md
│ ├── stage-4-verification.md
│ └── stage-5-solution.md
├── solutions/ # 최종 성공 케이스
├── decisions/ # 트레이드오프 기록
├── patterns/ # 재사용 패턴
└── index.json # 검색 인덱스개발
빌드
bun run build타입 체크
bun run typecheck테스트
bun test라이센스
MIT
기여
이슈와 PR 환영합니다!
